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"