changeset 35279 | 4f6760122b2a |
parent 33874 | 1db5ca5eadf5 |
child 35419 | cc8e4276d093 |
1.1 --- a/etc/isar-keywords-ZF.el Mon Feb 22 10:28:00 2010 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Mon Feb 22 10:28:49 2010 +0100 1.3 @@ -44,6 +44,7 @@ 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 @@ -413,7 +414,8 @@ 1.12 '("inductive_cases")) 1.13 1.14 (defconst isar-keywords-theory-goal 1.15 - '("corollary" 1.16 + '("code_abstype" 1.17 + "corollary" 1.18 "instance" 1.19 "interpretation" 1.20 "lemma"