     "classes"
     "classrel"
     "codatatype"
-    "code_abort"
     "code_class"
     "code_const"
     "code_datatype"

    "classes"
    "classrel"
    "codatatype"
    "code_abort"
    "code_class"
    "code_const"
    "code_datatype"

    "atom_decl"
    "attribute_setup"
    "axiomatization"
    "bnf_decl"
    "boogie_file"
    "bundle"
    "case_of_simps"
