     "defer_recdef"
     "defs"
     "disable_pr"
+    "domain"
     "done"
     "enable_pr"
     "end"

    "apply_end"
    "arities"
    "assume"
    "axclass"
    "axioms"
    "back"

(defconst isar-keywords-theory-decl
  '("ML_setup"
    "arities"
    "automaton"
    "axclass"
    "axioms"
    "classes"
