changeset 35223 | 9f35be9c2960 |
parent 33898 | 2ca2693a8c10 |
child 35279 | 4f6760122b2a |
1.1 --- a/etc/isar-keywords.el Fri Feb 19 09:35:18 2010 +0100 1.2 +++ b/etc/isar-keywords.el Fri Feb 19 11:06:20 2010 +0100 1.3 @@ -55,6 +55,7 @@ 1.4 "classes" 1.5 "classrel" 1.6 "code_abort" 1.7 + "code_abstype" 1.8 "code_class" 1.9 "code_const" 1.10 "code_datatype" 1.11 @@ -537,6 +538,7 @@ 1.12 (defconst isar-keywords-theory-goal 1.13 '("ax_specification" 1.14 "boogie_vc" 1.15 + "code_abstype" 1.16 "code_pred" 1.17 "corollary" 1.18 "cpodef"