changeset 18612 | 7300f75028dc |
parent 18552 | 30911da9fb27 |
child 18702 | 7dc7dcd63224 |
--- 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"