etc/isar-keywords.el

     "import_const_map"
     "import_file"
     "import_tptp"
     "import_type_map"
     "inductive"
+    "inductive_cases"
     "inductive_set"
+    "inductive_simps"
     "instantiation"
     "judgment"
     "lemmas"
     "lifting_forget"
     "lifting_update"

     "type_synonym"
     "typed_print_translation"
     "typedecl"))
 
 (defconst isar-keywords-theory-script
-  '("inductive_cases"
-    "inductive_simps"))
+  '())
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
     "bnf"
     "code_pred"