     "display_drafts"
     "domain"
     "domain_isomorphism"
+    "domaindef"
     "done"
     "enable_pr"
     "end"

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

(defconst isar-keywords-qed

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