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

    "pcpodef"
    "recdef_tc"
    "rep_datatype"
    "repdef"
    "specification"
    "subclass"
    "sublocale"

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