# HG changeset patch
# User wenzelm
# Date 1313530798 -7200
# Node ID d5f689c534c5cc64b18267f1ee171a962fbc0bd9
# Parent  f9799971ca97f27220ebe5354c8906dddb6cedd8
updated keywords -- old codegen is no longer in Pure;

diff -r f9799971ca97 -r d5f689c534c5 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Aug 16 23:39:30 2011 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Aug 16 23:39:58 2011 +0200
@@ -40,12 +40,9 @@
     "classrel"
     "codatatype"
     "code_datatype"
-    "code_library"
-    "code_module"
     "coinductive"
     "commit"
     "consts"
-    "consts_code"
     "context"
     "corollary"
     "datatype"
@@ -194,7 +191,6 @@
     "typed_print_translation"
     "typedecl"
     "types"
-    "types_code"
     "ultimately"
     "undo"
     "undos_proof"
@@ -219,11 +215,9 @@
     "case_eqns"
     "con_defs"
     "constrains"
-    "contains"
     "defines"
     "domains"
     "elimination"
-    "file"
     "fixes"
     "for"
     "identifier"
@@ -354,11 +348,8 @@
     "classrel"
     "codatatype"
     "code_datatype"
-    "code_library"
-    "code_module"
     "coinductive"
     "consts"
-    "consts_code"
     "context"
     "datatype"
     "declaration"
@@ -410,7 +401,6 @@
     "typed_print_translation"
     "typedecl"
     "types"
-    "types_code"
     "use"))
 
 (defconst isar-keywords-theory-script