etc/isar-keywords.el
changeset 55384 1107de77c633
parent 55109 ecff9e26360c
child 55385 169e12bbf9a3
     1.1 --- a/etc/isar-keywords.el	Mon Feb 10 21:03:28 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Feb 10 22:07:50 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 + HOL-BNF-FP + 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-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 @@ -48,21 +48,15 @@
    1.12      "classes"
    1.13      "classrel"
    1.14      "codatatype"
    1.15 -    "code_class"
    1.16 -    "code_const"
    1.17      "code_datatype"
    1.18      "code_deps"
    1.19      "code_identifier"
    1.20 -    "code_include"
    1.21 -    "code_instance"
    1.22 -    "code_modulename"
    1.23      "code_monad"
    1.24      "code_pred"
    1.25      "code_printing"
    1.26      "code_reflect"
    1.27      "code_reserved"
    1.28      "code_thms"
    1.29 -    "code_type"
    1.30      "coinductive"
    1.31      "coinductive_set"
    1.32      "commit"
    1.33 @@ -499,18 +493,12 @@
    1.34      "classes"
    1.35      "classrel"
    1.36      "codatatype"
    1.37 -    "code_class"
    1.38 -    "code_const"
    1.39      "code_datatype"
    1.40      "code_identifier"
    1.41 -    "code_include"
    1.42 -    "code_instance"
    1.43 -    "code_modulename"
    1.44      "code_monad"
    1.45      "code_printing"
    1.46      "code_reflect"
    1.47      "code_reserved"
    1.48 -    "code_type"
    1.49      "coinductive"
    1.50      "coinductive_set"
    1.51      "consts"