updated keywords;
authorwenzelm
Mon Aug 12 18:03:47 2013 +0200 (2013-08-12)
changeset 529842ab38527aca7
parent 52983 92d98cc6cec2
child 52985 9e22d6264277
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Mon Aug 12 18:02:01 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Aug 12 18:03:47 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-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-BNF + HOL-BNF-LFP + HOL-Bali + 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 @@ -33,10 +33,6 @@
    1.12      "axiomatization"
    1.13      "back"
    1.14      "bnf"
    1.15 -    "boogie_end"
    1.16 -    "boogie_open"
    1.17 -    "boogie_status"
    1.18 -    "boogie_vc"
    1.19      "bundle"
    1.20      "by"
    1.21      "cannot_undo"
    1.22 @@ -339,7 +335,7 @@
    1.23      "module_name"
    1.24      "monos"
    1.25      "morphisms"
    1.26 -    "no_dests"
    1.27 +    "no_discs_sels"
    1.28      "notes"
    1.29      "obtains"
    1.30      "open"
    1.31 @@ -386,7 +382,6 @@
    1.32  (defconst isar-keywords-diag
    1.33    '("ML_command"
    1.34      "ML_val"
    1.35 -    "boogie_status"
    1.36      "class_deps"
    1.37      "code_deps"
    1.38      "code_thms"
    1.39 @@ -484,8 +479,6 @@
    1.40      "atom_decl"
    1.41      "attribute_setup"
    1.42      "axiomatization"
    1.43 -    "boogie_end"
    1.44 -    "boogie_open"
    1.45      "bundle"
    1.46      "class"
    1.47      "classes"
    1.48 @@ -595,7 +588,6 @@
    1.49  (defconst isar-keywords-theory-goal
    1.50    '("ax_specification"
    1.51      "bnf"
    1.52 -    "boogie_vc"
    1.53      "code_pred"
    1.54      "corollary"
    1.55      "cpodef"