     "nominal_inductive2"
     "nominal_primrec"
     "pcpodef"
+    "primcorec"
     "quotient_definition"
     "quotient_type"
     "recdef_tc"

    "cpodef"
    "datatype"
    "datatype_new"
    "declaration"
    "declare"
    "def"

    "parse_translation"
    "partial_function"
    "primrec"
    "primrec_new"
    "print_ast_translation"
    "print_translation"
    "quickcheck_generator"
