--- a/ProgTutorial/Appendix.thy	Mon Apr 30 12:36:32 2012 +0100
+++ b/ProgTutorial/Appendix.thy	Mon Apr 30 14:43:52 2012 +0100
@@ -3,14 +3,6 @@
 imports Base
 begin
 
-(*<*)
-setup{*
-open_file_with_prelude 
-  "Recipes_Code.thy"
-  ["theory Recipes", "imports Main", "begin"]
-*}
-(*>*)
-
 text {* \appendix *}
 
 
@@ -31,4 +23,4 @@
   \end{itemize}
 *}
 
-end
\ No newline at end of file
+end