     "find_consts"
     "find_theorems"
     "fix"
-    "fixpat"
     "fixrec"
     "from"
     "full_prf"

    "nominal_inductive"
    "nominal_inductive2"
    "nominal_primrec"
    "pcpodef"
    "quotient_type"
    "recdef_tc"

    "overloading"
    "parse_ast_translation"
    "parse_translation"
    "partial_function"
    "pcpodef"
    "pr"
    "prefer"
