# HG changeset patch
# User haftmann
# Date 1155555963 -7200
# Node ID 63a0aafc89ba587c38f3d535f977fead18de9b55
# Parent  3baf326b2b5f759da5820baf921f583e3ac5905c
updated code generator keywords

diff -r 3baf326b2b5f -r 63a0aafc89ba etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Aug 14 13:46:03 2006 +0200
@@ -42,7 +42,6 @@
     "classes"
     "classrel"
     "clear_undos"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -53,6 +52,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -131,6 +131,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -302,6 +303,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -364,7 +366,6 @@
     "class"
     "classes"
     "classrel"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -374,6 +375,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"
diff -r 3baf326b2b5f -r 63a0aafc89ba etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Aug 14 13:46:03 2006 +0200
@@ -40,7 +40,6 @@
     "classrel"
     "clear_undos"
     "codatatype"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -51,6 +50,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -126,6 +126,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -288,6 +289,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -350,7 +352,6 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -360,6 +361,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"
diff -r 3baf326b2b5f -r 63a0aafc89ba etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords.el	Mon Aug 14 13:46:03 2006 +0200
@@ -42,7 +42,6 @@
     "classes"
     "classrel"
     "clear_undos"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -53,6 +52,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -135,6 +135,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -323,6 +324,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -385,7 +387,6 @@
     "class"
     "classes"
     "classrel"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -395,6 +396,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"