     "refute_params"
     "remove_thy"
     "rep_datatype"
-    "repdef"
     "schematic_corollary"
     "schematic_lemma"
     "schematic_theorem"

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

    "recdef"
    "record"
    "refute_params"
    "setup"
    "simproc_setup"
    "sledgehammer_params"
