etc/isar-keywords-ZF.el

     "hide_class"
     "hide_const"
     "hide_fact"
     "hide_type"
     "inductive"
+    "inductive_cases"
     "instantiation"
     "judgment"
     "lemmas"
     "local_setup"
     "locale"

     "type_synonym"
     "typed_print_translation"
     "typedecl"))
 
 (defconst isar-keywords-theory-script
-  '("inductive_cases"))
+  '())
 
 (defconst isar-keywords-theory-goal
   '("corollary"
     "instance"
     "interpretation"