     "notes"
     "output"
     "overloaded"
+    "recursor_eqns"
     "structure"
     "type_elims"
     "type_intros"

  '("and"
    "assumes"
    "binder"
    "con_defs"
    "concl"
    "defines"
    "domains"
    "files"
    "fixes"
    "in"
    "infix"
    "infixl"
    "infixr"

    "primrec"
    "print_ast_translation"
    "print_translation"
    "rep_datatype"
    "setup"
    "syntax"
    "text"
