     "realizers"
     "recdef"
     "record"
+    "refute_params"
     "rep_datatype"
     "setup"
     "syntax"

    "recdef_tc"
    "record"
    "redo"
    "remove_thy"
    "rep_datatype"
    "sect"

    "prop"
    "pwd"
    "quickcheck"
    "refute"
    "remove_thy"
    "term"
    "thm"
