etc/isar-keywords.el
changeset 54447 019394de2b41
parent 53825 fb66852b3227
child 54627 8dd1a354ee86
     1.1 --- a/etc/isar-keywords.el	Sat Nov 16 13:12:02 2013 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Nov 16 16:57:09 2013 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; 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-ex + HOLCF + Pure.
     1.7 +;; 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.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -33,6 +33,7 @@
    1.12      "axiomatization"
    1.13      "back"
    1.14      "bnf"
    1.15 +    "boogie_file"
    1.16      "bundle"
    1.17      "by"
    1.18      "cannot_undo"
    1.19 @@ -487,6 +488,7 @@
    1.20      "atom_decl"
    1.21      "attribute_setup"
    1.22      "axiomatization"
    1.23 +    "boogie_file"
    1.24      "bundle"
    1.25      "case_of_simps"
    1.26      "class"