     "code_type"
     "code_typename"
     "coinductive"
+    "coinductive2"
     "commit"
     "const_syntax"
     "constdefs"

    "hence"
    "hide"
    "inductive"
    "inductive_cases"
    "init_toplevel"
    "instance"
    "interpret"


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

(defconst isar-keywords-theory-goal
  '("ax_specification"
