# HG changeset patch
# User wenzelm
# Date 1392066470 -3600
# Node ID 1107de77c63398a809eed858cf2bef90017b4964
# Parent  a416780523e2369e13c6a9211a3143990964d451
updated keywords;

diff -r a416780523e2 -r 1107de77c633 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Feb 10 21:03:28 2014 +0100
+++ b/etc/isar-keywords.el	Mon Feb 10 22:07:50 2014 +0100
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; 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.
+;; 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.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 
@@ -48,21 +48,15 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_class"
-    "code_const"
     "code_datatype"
     "code_deps"
     "code_identifier"
-    "code_include"
-    "code_instance"
-    "code_modulename"
     "code_monad"
     "code_pred"
     "code_printing"
     "code_reflect"
     "code_reserved"
     "code_thms"
-    "code_type"
     "coinductive"
     "coinductive_set"
     "commit"
@@ -499,18 +493,12 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_class"
-    "code_const"
     "code_datatype"
     "code_identifier"
-    "code_include"
-    "code_instance"
-    "code_modulename"
     "code_monad"
     "code_printing"
     "code_reflect"
     "code_reserved"
-    "code_type"
     "coinductive"
     "coinductive_set"
     "consts"