updated;
authorwenzelm
Sat Jan 07 23:27:51 2006 +0100 (2006-01-07)
changeset 186127300f75028dc
parent 18611 687c9bffbca1
child 18613 3cdfa57408be
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     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"
     2.1 --- a/etc/isar-keywords.el	Sat Jan 07 13:50:38 2006 +0100
     2.2 +++ b/etc/isar-keywords.el	Sat Jan 07 23:27:51 2006 +0100
     2.3 @@ -29,6 +29,7 @@
     2.4      "automaton"
     2.5      "ax_specification"
     2.6      "axclass"
     2.7 +    "axiomatization"
     2.8      "axioms"
     2.9      "back"
    2.10      "by"
    2.11 @@ -37,6 +38,7 @@
    2.12      "cd"
    2.13      "chapter"
    2.14      "class"
    2.15 +    "class_instance"
    2.16      "classes"
    2.17      "classrel"
    2.18      "clear_undos"
    2.19 @@ -364,6 +366,7 @@
    2.20      "arities"
    2.21      "automaton"
    2.22      "axclass"
    2.23 +    "axiomatization"
    2.24      "axioms"
    2.25      "class"
    2.26      "classes"
    2.27 @@ -434,6 +437,7 @@
    2.28  
    2.29  (defconst isar-keywords-theory-goal
    2.30    '("ax_specification"
    2.31 +    "class_instance"
    2.32      "corollary"
    2.33      "cpodef"
    2.34      "instance"