 
 (defconst isar-keywords-theory-script
   '("declare"
-    "inductive_cases"))
+    "inductive_cases"
+    "inductive_cases2"))
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"

    "types_code"
    "ultimately"
    "undo"
    "undo_end"
    "undos_proof"
    "unfolding"
    "update_thy"

    "quit"
    "redo"
    "undo"
    "undos_proof"))

(defconst isar-keywords-diag
