     "axioms"
     "classes"
     "classrel"
+    "codatatype"
     "coinductive"
     "constdefs"
     "consts"
     "consts_code"
+    "datatype"
     "defaultsort"
     "defs"
     "generate_code"

    "classes"
    "classrel"
    "clear_undos"
    "coinductive"
    "commit"
    "constdefs"

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