# 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"