# HG changeset patch
# User wenzelm
# Date 1378461658 -7200
# Node ID 36ca6764027f815dcd52d41fa1171a27dfa8ba9d
# Parent  d2a7b6fe953e99f7398e8d75e1b93100ce5d2343
updated keywords;

diff -r d2a7b6fe953e -r 36ca6764027f etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Sep 06 10:57:27 2013 +0200
+++ b/etc/isar-keywords.el	Fri Sep 06 12:00:58 2013 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; 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.
+;; 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.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 
@@ -37,6 +37,7 @@
     "by"
     "cannot_undo"
     "case"
+    "case_of_simps"
     "cd"
     "chapter"
     "class"
@@ -240,6 +241,7 @@
     "setup_lifting"
     "show"
     "simproc_setup"
+    "simps_of_case"
     "sledgehammer"
     "sledgehammer_params"
     "smt_status"
@@ -484,6 +486,7 @@
     "attribute_setup"
     "axiomatization"
     "bundle"
+    "case_of_simps"
     "class"
     "classes"
     "classrel"
@@ -568,6 +571,7 @@
     "setup"
     "setup_lifting"
     "simproc_setup"
+    "simps_of_case"
     "sledgehammer_params"
     "spark_end"
     "spark_open"