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

    "axioms"
    "classes"
    "classrel"
    "coinductive"
    "constdefs"
    "consts"
    "consts_code"
    "defaultsort"
    "defs"
    "generate_code"

    "consts_code"
    "context"
    "corollary"
    "datatype"
    "declare"
    "def"
    "defaultsort"
