     "corollary"
     "cpodef"
     "datatype"
+    "datatype_compat"
     "datatype_new"
-    "datatype_new_compat"
     "declaration"
     "declare"
     "def"

    "nonterminal"
    "notation"
    "notepad"
    "oracle"
    "overloading"
    "parse_ast_translation"

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