etc/isar-keywords.el
changeset 52623 fee0db8cf60d
parent 52549 802576856527
child 52984 2ab38527aca7
     1.1 --- a/etc/isar-keywords.el	Fri Jul 12 16:19:05 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Jul 12 16:19:43 2013 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; 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.
     1.7 +;; Generated from HOL + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Boogie + HOL-Decision_Procs + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-ex + HOLCF + Pure.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -21,6 +21,7 @@
    1.12      "ProofGeneral\\.restart"
    1.13      "ProofGeneral\\.undo"
    1.14      "abbreviation"
    1.15 +    "adhoc_overloading"
    1.16      "also"
    1.17      "apply"
    1.18      "apply_end"
    1.19 @@ -144,6 +145,7 @@
    1.20      "next"
    1.21      "nitpick"
    1.22      "nitpick_params"
    1.23 +    "no_adhoc_overloading"
    1.24      "no_notation"
    1.25      "no_syntax"
    1.26      "no_translations"
    1.27 @@ -477,6 +479,7 @@
    1.28    '("ML"
    1.29      "ML_file"
    1.30      "abbreviation"
    1.31 +    "adhoc_overloading"
    1.32      "arities"
    1.33      "atom_decl"
    1.34      "attribute_setup"
    1.35 @@ -539,6 +542,7 @@
    1.36      "locale"
    1.37      "method_setup"
    1.38      "nitpick_params"
    1.39 +    "no_adhoc_overloading"
    1.40      "no_notation"
    1.41      "no_syntax"
    1.42      "no_translations"