1.1 --- a/etc/isar-keywords-ZF.el Mon Feb 27 14:34:03 2006 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Mon Feb 27 15:49:56 2006 +0100
1.3 @@ -36,7 +36,6 @@
1.4 "cd"
1.5 "chapter"
1.6 "class"
1.7 - "class_exp"
1.8 "classes"
1.9 "classrel"
1.10 "clear_undos"
1.11 @@ -104,6 +103,7 @@
1.12 "next"
1.13 "no_syntax"
1.14 "nonterminals"
1.15 + "norm_by_eval"
1.16 "note"
1.17 "obtain"
1.18 "oops"
1.19 @@ -372,6 +372,7 @@
1.20 "method_setup"
1.21 "no_syntax"
1.22 "nonterminals"
1.23 + "norm_by_eval"
1.24 "oracle"
1.25 "parse_ast_translation"
1.26 "parse_translation"
1.27 @@ -399,8 +400,7 @@
1.28 "inductive_cases"))
1.29
1.30 (defconst isar-keywords-theory-goal
1.31 - '("class_exp"
1.32 - "corollary"
1.33 + '("corollary"
1.34 "instance"
1.35 "interpretation"
1.36 "lemma"
2.1 --- a/etc/isar-keywords.el Mon Feb 27 14:34:03 2006 +0100
2.2 +++ b/etc/isar-keywords.el Mon Feb 27 15:49:56 2006 +0100
2.3 @@ -39,7 +39,6 @@
2.4 "cd"
2.5 "chapter"
2.6 "class"
2.7 - "class_exp"
2.8 "classes"
2.9 "classrel"
2.10 "clear_undos"
2.11 @@ -111,6 +110,7 @@
2.12 "next"
2.13 "no_syntax"
2.14 "nonterminals"
2.15 + "norm_by_eval"
2.16 "note"
2.17 "obtain"
2.18 "oops"
2.19 @@ -407,6 +407,7 @@
2.20 "method_setup"
2.21 "no_syntax"
2.22 "nonterminals"
2.23 + "norm_by_eval"
2.24 "oracle"
2.25 "parse_ast_translation"
2.26 "parse_translation"
2.27 @@ -438,7 +439,6 @@
2.28
2.29 (defconst isar-keywords-theory-goal
2.30 '("ax_specification"
2.31 - "class_exp"
2.32 "corollary"
2.33 "cpodef"
2.34 "instance"