     "ProofGeneral\\.restart"
     "ProofGeneral\\.undo"
     "abbreviation"
+    "adhoc_overloading"
     "also"
     "apply"
     "apply_end"

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


    "locale"
    "method_setup"
    "nitpick_params"
    "no_adhoc_overloading"
    "no_notation"
    "no_syntax"
    "no_translations"
