updated keywords;
authorwenzelm
Wed Jan 01 14:32:31 2014 +0100 (2014-01-01)
changeset 54896f6f455df1034
parent 54895 515630483010
child 54897 b45b1b217f43
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Wed Jan 01 14:29:22 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Jan 01 14:32:31 2014 +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-Word-SMT_Examples + HOL-ex + HOLCF + Pure.
     1.7 +;; Generated from HOL + HOL-Auth + HOL-BNF + HOL-BNF-FP + 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 +    "bnf_decl"
    1.16      "boogie_file"
    1.17      "bundle"
    1.18      "by"
    1.19 @@ -46,7 +47,6 @@
    1.20      "classes"
    1.21      "classrel"
    1.22      "codatatype"
    1.23 -    "code_abort"
    1.24      "code_class"
    1.25      "code_const"
    1.26      "code_datatype"
    1.27 @@ -486,6 +486,7 @@
    1.28      "atom_decl"
    1.29      "attribute_setup"
    1.30      "axiomatization"
    1.31 +    "bnf_decl"
    1.32      "boogie_file"
    1.33      "bundle"
    1.34      "case_of_simps"
    1.35 @@ -493,7 +494,6 @@
    1.36      "classes"
    1.37      "classrel"
    1.38      "codatatype"
    1.39 -    "code_abort"
    1.40      "code_class"
    1.41      "code_const"
    1.42      "code_datatype"