changeset 46005 | 9b02f6665fc8 |
parent 45103 | d5f689c534c5 |
child 47812 | cda018294515 |
1.1 --- a/etc/isar-keywords-ZF.el Wed Oct 12 22:48:23 2011 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Thu Oct 13 11:45:33 2011 +0200 1.3 @@ -190,7 +190,6 @@ 1.4 "type_synonym" 1.5 "typed_print_translation" 1.6 "typedecl" 1.7 - "types" 1.8 "ultimately" 1.9 "undo" 1.10 "undos_proof" 1.11 @@ -400,7 +399,6 @@ 1.12 "type_synonym" 1.13 "typed_print_translation" 1.14 "typedecl" 1.15 - "types" 1.16 "use")) 1.17 1.18 (defconst isar-keywords-theory-script