     "nominal_inductive"
     "nominal_inductive2"
     "nominal_primrec"
+    "partial_function"
     "pcpodef"
     "quotient_type"
     "recdef_tc"

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

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