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"