etc/isar-keywords.el

--- a/etc/isar-keywords.el	Fri Mar 14 15:26:52 2014 +0100
+++ b/etc/isar-keywords.el	Fri Mar 14 15:41:29 2014 +0100
@@ -530,7 +530,9 @@
     "import_tptp"
     "import_type_map"
     "inductive"
+    "inductive_cases"
     "inductive_set"
+    "inductive_simps"
     "instantiation"
     "judgment"
     "lemmas"
@@ -590,8 +592,7 @@
     "typedecl"))
 
 (defconst isar-keywords-theory-script
-  '("inductive_cases"
-    "inductive_simps"))
+  '())
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"