     "next"
     "nitpick"
     "nitpick_params"
+    "no_adhoc_overloading"
     "no_notation"
     "no_syntax"
     "no_translations"

    "locale"
    "method_setup"
    "nitpick_params"
    "no_notation"
    "no_syntax"
    "no_translations"

    "ProofGeneral\\.restart"
    "ProofGeneral\\.undo"
    "abbreviation"
    "adhoc_overloading"
    "also"
    "apply"
    "apply_end"
