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

    "quit"
    "redo"
    "remove_thy"
    "sect"
    "section"
    "setup"

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