# HG changeset patch
# User wenzelm
# Date 1376323427 -7200
# Node ID 2ab38527aca75b22499a5250d2d6f279f3e8b0b8
# Parent  92d98cc6cec25500a6152fbad18fda0222e05552
updated keywords;

diff -r 92d98cc6cec2 -r 2ab38527aca7 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Aug 12 18:02:01 2013 +0200
+++ b/etc/isar-keywords.el	Mon Aug 12 18:03:47 2013 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; 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.
+;; 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.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 
@@ -33,10 +33,6 @@
     "axiomatization"
     "back"
     "bnf"
-    "boogie_end"
-    "boogie_open"
-    "boogie_status"
-    "boogie_vc"
     "bundle"
     "by"
     "cannot_undo"
@@ -339,7 +335,7 @@
     "module_name"
     "monos"
     "morphisms"
-    "no_dests"
+    "no_discs_sels"
     "notes"
     "obtains"
     "open"
@@ -386,7 +382,6 @@
 (defconst isar-keywords-diag
   '("ML_command"
     "ML_val"
-    "boogie_status"
     "class_deps"
     "code_deps"
     "code_thms"
@@ -484,8 +479,6 @@
     "atom_decl"
     "attribute_setup"
     "axiomatization"
-    "boogie_end"
-    "boogie_open"
     "bundle"
     "class"
     "classes"
@@ -595,7 +588,6 @@
 (defconst isar-keywords-theory-goal
   '("ax_specification"
     "bnf"
-    "boogie_vc"
     "code_pred"
     "corollary"
     "cpodef"