     "recdef"
     "record"
     "refute_params"
-    "repdef"
     "setup"
     "simproc_setup"
     "sledgehammer_params"

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

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