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

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

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