     "sublocale"
     "termination"
     "theorem"
-    "type_lifting"
     "typedef"))
 
 (defconst isar-keywords-qed

    "code_pred"
    "corollary"
    "cpodef"
    "function"
    "instance"
    "interpretation"

    "txt"
    "txt_raw"
    "typ"
    "type_notation"
    "type_synonym"
    "typed_print_translation"
