changeset 36114 | e49fd7b1d932 |
parent 35414 | cc8e4276d093 |
child 36180 | 2db3711b2b03 |
--- a/etc/isar-keywords-ZF.el Sun Apr 11 16:51:36 2010 +0200 +++ b/etc/isar-keywords-ZF.el Sun Apr 11 17:40:43 2010 +0200 @@ -43,7 +43,6 @@ "classes" "classrel" "codatatype" - "code_abstype" "code_datatype" "code_library" "code_module" @@ -416,8 +415,7 @@ '("inductive_cases")) (defconst isar-keywords-theory-goal - '("code_abstype" - "corollary" + '("corollary" "instance" "interpretation" "lemma"