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

    "code_type"
    "code_typename"
    "coinductive"
    "const_syntax"
    "constdefs"
    "consts"

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

(defconst isar-keywords-diag
