etc/isar-keywords-ZF.el
changeset 18612 7300f75028dc
parent 18552 30911da9fb27
child 18702 7dc7dcd63224
     1.1 --- a/etc/isar-keywords-ZF.el	Sat Jan 07 13:50:38 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Jan 07 23:27:51 2006 +0100
     1.3 @@ -34,6 +34,7 @@
     1.4      "cd"
     1.5      "chapter"
     1.6      "class"
     1.7 +    "class_instance"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11 @@ -395,7 +396,8 @@
    1.12      "inductive_cases"))
    1.13  
    1.14  (defconst isar-keywords-theory-goal
    1.15 -  '("corollary"
    1.16 +  '("class_instance"
    1.17 +    "corollary"
    1.18      "instance"
    1.19      "interpretation"
    1.20      "lemma"