     "oracle"
     "parse_ast_translation"
     "parse_translation"
+    "primrec"
     "print_ast_translation"
     "print_translation"
     "setup"

    "axioms"
    "classes"
    "classrel"
    "coinductive"
    "constdefs"
    "consts"
    "consts_code"
    "defaultsort"
    "defs"
    "generate_code"

    "consts_code"
    "context"
    "corollary"
    "datatype"
    "declare"
    "def"
    "defaultsort"
