# HG changeset patch
# User wenzelm
# Date 1136672871 -3600
# Node ID 7300f75028dc225f687051d4c3f2535f7bc5bc7c
# Parent  687c9bffbca1af159fffb42c4fd6ca258103400a
updated;

diff -r 687c9bffbca1 -r 7300f75028dc etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Jan 07 13:50:38 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Jan 07 23:27:51 2006 +0100
@@ -34,6 +34,7 @@
     "cd"
     "chapter"
     "class"
+    "class_instance"
     "classes"
     "classrel"
     "clear_undos"
@@ -395,7 +396,8 @@
     "inductive_cases"))
 
 (defconst isar-keywords-theory-goal
-  '("corollary"
+  '("class_instance"
+    "corollary"
     "instance"
     "interpretation"
     "lemma"
diff -r 687c9bffbca1 -r 7300f75028dc etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Jan 07 13:50:38 2006 +0100
+++ b/etc/isar-keywords.el	Sat Jan 07 23:27:51 2006 +0100
@@ -29,6 +29,7 @@
     "automaton"
     "ax_specification"
     "axclass"
+    "axiomatization"
     "axioms"
     "back"
     "by"
@@ -37,6 +38,7 @@
     "cd"
     "chapter"
     "class"
+    "class_instance"
     "classes"
     "classrel"
     "clear_undos"
@@ -364,6 +366,7 @@
     "arities"
     "automaton"
     "axclass"
+    "axiomatization"
     "axioms"
     "class"
     "classes"
@@ -434,6 +437,7 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
+    "class_instance"
     "corollary"
     "cpodef"
     "instance"