     "coinductive_set"
     "commit"
     "consts"
-    "consts_code"
     "context"
     "corollary"
     "cpodef"

    "type_synonym"
    "typed_print_translation"
    "typedecl"
    "types_code"
    "use"))

(defconst isar-keywords-theory-script

    "coinductive"
    "coinductive_set"
    "consts"
    "context"
    "datatype"
    "declaration"
