# HG changeset patch
# User wenzelm
# Date 1319026926 -7200
# Node ID 3181c64be1b4b072415057428ed067d731d34b0e
# Parent  008710fff1cc572549e954c500ded2c975e7af28
updated keywords;

diff -r 008710fff1cc -r 3181c64be1b4 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Oct 19 14:21:29 2011 +0200
+++ b/etc/isar-keywords.el	Wed Oct 19 14:22:06 2011 +0200
@@ -51,8 +51,6 @@
     "code_deps"
     "code_include"
     "code_instance"
-    "code_library"
-    "code_module"
     "code_modulename"
     "code_monad"
     "code_pred"
@@ -64,7 +62,6 @@
     "coinductive_set"
     "commit"
     "consts"
-    "consts_code"
     "context"
     "corollary"
     "cpodef"
@@ -264,7 +261,6 @@
     "typed_print_translation"
     "typedecl"
     "typedef"
-    "types_code"
     "ultimately"
     "undo"
     "undos_proof"
@@ -292,7 +288,6 @@
     "checking"
     "congs"
     "constrains"
-    "contains"
     "datatypes"
     "defines"
     "file"
@@ -456,8 +451,6 @@
     "code_datatype"
     "code_include"
     "code_instance"
-    "code_library"
-    "code_module"
     "code_modulename"
     "code_monad"
     "code_reflect"
@@ -466,7 +459,6 @@
     "coinductive"
     "coinductive_set"
     "consts"
-    "consts_code"
     "context"
     "datatype"
     "declaration"
@@ -538,7 +530,6 @@
     "type_synonym"
     "typed_print_translation"
     "typedecl"
-    "types_code"
     "use"))
 
 (defconst isar-keywords-theory-script