
diff -r d7944bdf7b3f -r 64fa844064fa CookBook/Package/Simple_Inductive_Package.thy
--- a/CookBook/Package/Simple_Inductive_Package.thy	Wed Mar 04 13:50:47 2009 +0000
+++ b/CookBook/Package/Simple_Inductive_Package.thy	Wed Mar 04 14:26:21 2009 +0000
@@ -3,6 +3,8 @@
 uses ("simple_inductive_package.ML")
 begin
 
+
 use_chunks "simple_inductive_package.ML"
 
+
 end




