     "type_synonym"
     "typed_print_translation"
     "typedecl"
-    "types_code"
     "use"))
 
 (defconst isar-keywords-theory-script

    "checking"
    "congs"
    "constrains"
    "contains"
    "datatypes"
    "defines"
    "file"

    "typed_print_translation"
    "typedecl"
    "typedef"
    "ultimately"
    "undo"
    "undos_proof"
