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

    "defs"
    "domain"
    "domain_isomorphism"
    "equivariance"
    "extract"
    "extract_type"

    "recdef"
    "record"
    "refute_params"
    "setup"
    "simproc_setup"
    "sledgehammer_params"
