--- a/etc/isar-keywords-HOL-Nominal.el Mon Aug 28 18:18:31 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el Tue Aug 29 14:31:11 2006 +0200
@@ -42,10 +42,11 @@
"classes"
"classrel"
"clear_undos"
- "code_classapp"
+ "code_class"
"code_constapp"
"code_constname"
"code_generate"
+ "code_instance"
"code_library"
"code_module"
"code_purge"
@@ -366,10 +367,11 @@
"class"
"classes"
"classrel"
- "code_classapp"
+ "code_class"
"code_constapp"
"code_constname"
"code_generate"
+ "code_instance"
"code_library"
"code_module"
"code_purge"