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"