
diff -r a53c7810e38b -r 95e9c4556221 CookBook/Base.thy
--- a/CookBook/Base.thy	Mon Jan 26 12:29:01 2009 +0000
+++ b/CookBook/Base.thy	Mon Jan 26 12:29:43 2009 +0000
@@ -15,4 +15,5 @@
       Toplevel.generic_theory (ML_Context.exec (fn () => ML_Context.eval true pos txt))));
 *}
 
+
 end




