     "classes"
     "classrel"
     "clear_undos"
+    "codatatype"
     "coinductive"
     "commit"
     "constdefs"

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

    "presume"
    "pretty_setmargin"
    "prf"
    "primrec"
    "print_antiquotations"
    "print_ast_translation"
    "print_attributes"
