# HG changeset patch
# User haftmann
# Date 1156854671 -7200
# Node ID d5b4b55ad2778c6df90ff7eea8d5a5eee7dc30f7
# Parent  593053389701f0f31851f36d17d16fce1e9bafdf
updated keywords

diff -r 593053389701 -r d5b4b55ad277 etc/isar-keywords-HOL-Nominal.el
--- 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"
diff -r 593053389701 -r d5b4b55ad277 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Aug 28 18:18:31 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Aug 29 14:31:11 2006 +0200
@@ -40,10 +40,11 @@
     "classrel"
     "clear_undos"
     "codatatype"
-    "code_classapp"
+    "code_class"
     "code_constapp"
     "code_constname"
     "code_generate"
+    "code_instance"
     "code_library"
     "code_module"
     "code_purge"
@@ -352,10 +353,11 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_classapp"
+    "code_class"
     "code_constapp"
     "code_constname"
     "code_generate"
+    "code_instance"
     "code_library"
     "code_module"
     "code_purge"
diff -r 593053389701 -r d5b4b55ad277 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Aug 28 18:18:31 2006 +0200
+++ b/etc/isar-keywords.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"
@@ -387,10 +388,11 @@
     "class"
     "classes"
     "classrel"
-    "code_classapp"
+    "code_class"
     "code_constapp"
     "code_constname"
     "code_generate"
+    "code_instance"
     "code_library"
     "code_module"
     "code_purge"