# HG changeset patch
# User haftmann
# Date 1158672099 -7200
# Node ID 548fd4cd2eb3ac71e431bc6ac16c9375a4fc181b
# Parent  3fe913d701778244dedc1f05421a2af5c7fda277
code_gen now peek keyword

diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Sep 19 15:21:39 2006 +0200
@@ -50,7 +50,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -134,6 +133,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -290,6 +290,7 @@
     "ProofGeneral\\.call_atp"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -307,6 +308,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -372,11 +374,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"
diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Sep 19 15:21:39 2006 +0200
@@ -48,7 +48,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -128,6 +127,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -275,6 +275,7 @@
     "ML_command"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -292,6 +293,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -357,11 +359,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"
diff -r 3fe913d70177 -r 548fd4cd2eb3 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords.el	Tue Sep 19 15:21:39 2006 +0200
@@ -50,7 +50,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -138,6 +137,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -311,6 +311,7 @@
     "ProofGeneral\\.call_atp"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -328,6 +329,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -393,11 +395,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"