     "txt"
     "txt_raw"
     "typ"
-    "type_lifting"
     "type_notation"
     "type_synonym"
     "typed_print_translation"

    "sublocale"
    "termination"
    "theorem"
    "type_lifting"
    "typedef"))

(defconst isar-keywords-qed

    "done"
    "enable_pr"
    "end"
    "enriched_type"
    "equivariance"
    "exit"
    "export_code"
