
diff -r f223f8223d4a -r 7e25716c3744 ProgTutorial/Package/Simple_Inductive_Package.thy
--- a/ProgTutorial/Package/Simple_Inductive_Package.thy	Sun Feb 19 01:33:47 2012 +0000
+++ b/ProgTutorial/Package/Simple_Inductive_Package.thy	Tue Mar 20 09:39:44 2012 +0000
@@ -1,5 +1,6 @@
 theory Simple_Inductive_Package
 imports Main "../Base"
+keywords "simple_inductive" :: thy_decl
 uses "simple_inductive_package.ML"
 begin
 




