changeset 36114 | e49fd7b1d932 |
parent 35419 | cc8e4276d093 |
child 36180 | 2db3711b2b03 |
1.1 --- a/etc/isar-keywords-ZF.el Sun Apr 11 16:51:36 2010 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Sun Apr 11 17:40:43 2010 +0200 1.3 @@ -43,7 +43,6 @@ 1.4 "classes" 1.5 "classrel" 1.6 "codatatype" 1.7 - "code_abstype" 1.8 "code_datatype" 1.9 "code_library" 1.10 "code_module" 1.11 @@ -416,8 +415,7 @@ 1.12 '("inductive_cases")) 1.13 1.14 (defconst isar-keywords-theory-goal 1.15 - '("code_abstype" 1.16 - "corollary" 1.17 + '("corollary" 1.18 "instance" 1.19 "interpretation" 1.20 "lemma"