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

;;
;; Keyword classification tables for Isabelle/Isar.
;; Generated from HOL + HOL-Auth + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Decision_Procs + HOL-IMP + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-Word-SMT_Examples + HOL-ex + HOLCF + Pure.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;


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