etc/isar-keywords.el
changeset 53432 36ca6764027f
parent 53312 a1cf42366cea
child 53469 3356a148b783
     1.1 --- a/etc/isar-keywords.el	Fri Sep 06 10:57:27 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Sep 06 12:00:58 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-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-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.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -37,6 +37,7 @@
    1.12      "by"
    1.13      "cannot_undo"
    1.14      "case"
    1.15 +    "case_of_simps"
    1.16      "cd"
    1.17      "chapter"
    1.18      "class"
    1.19 @@ -240,6 +241,7 @@
    1.20      "setup_lifting"
    1.21      "show"
    1.22      "simproc_setup"
    1.23 +    "simps_of_case"
    1.24      "sledgehammer"
    1.25      "sledgehammer_params"
    1.26      "smt_status"
    1.27 @@ -484,6 +486,7 @@
    1.28      "attribute_setup"
    1.29      "axiomatization"
    1.30      "bundle"
    1.31 +    "case_of_simps"
    1.32      "class"
    1.33      "classes"
    1.34      "classrel"
    1.35 @@ -568,6 +571,7 @@
    1.36      "setup"
    1.37      "setup_lifting"
    1.38      "simproc_setup"
    1.39 +    "simps_of_case"
    1.40      "sledgehammer_params"
    1.41      "spark_end"
    1.42      "spark_open"