     "local_setup"
     "locale"
     "method_setup"
+    "new_domain"
     "nitpick_params"
     "no_notation"
     "no_syntax"

    "locale"
    "method_setup"
    "moreover"
    "next"
    "nitpick"
    "nitpick_params"

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