etc/isar-keywords.el
changeset 55447 aa41ecbdc205
parent 55385 169e12bbf9a3
child 55476 e2cf2df4fd83
     1.1 --- a/etc/isar-keywords.el	Thu Feb 13 11:37:00 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Feb 13 11:54:14 2014 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from HOL + HOL-Auth + HOL-BNF_Examples + 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-Word-SMT_Examples + HOL-ex + HOLCF + Pure.
     1.7 +;; Generated from HOL + HOL-Auth + HOL-BNF_Examples + HOL-Bali + HOL-Decision_Procs + HOL-IMP + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Predicate_Compile_Examples + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-Word-SMT_Examples + HOL-ex + HOLCF + Pure.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -296,6 +296,7 @@
    1.12      "using"
    1.13      "value"
    1.14      "values"
    1.15 +    "values_prolog"
    1.16      "welcome"
    1.17      "with"
    1.18      "wrap_free_constructors"
    1.19 @@ -456,6 +457,7 @@
    1.20      "unused_thms"
    1.21      "value"
    1.22      "values"
    1.23 +    "values_prolog"
    1.24      "welcome"))
    1.25  
    1.26  (defconst isar-keywords-theory-begin