     "nonterminal"
     "notation"
     "notepad"
+    "old_primrec"
     "oracle"
     "overloading"
     "parse_ast_translation"

    "primcorec"
    "primcorecursive"
    "primrec"
    "primrec_new"
    "print_abbrevs"
    "print_antiquotations"
    "print_ast_translation"

    "partial_function"
    "primcorec"
    "primrec"
    "print_ast_translation"
    "print_translation"
    "quickcheck_generator"
