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"