     "coinductive"
     "coinductive_set"
     "consts"
-    "consts_code"
     "context"
     "datatype"
     "declaration"

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

(defconst isar-keywords-theory-script

    "code_deps"
    "code_include"
    "code_instance"
    "code_modulename"
    "code_monad"
    "code_pred"
