changeset 52432 | 71fc3776c453 |
parent 52430 | 05b1bbae748d |
child 52450 | 102a0a0718c5 |
1.1 --- a/etc/isar-keywords-ZF.el Wed Feb 27 16:27:44 2013 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Wed Feb 27 17:32:17 2013 +0100 1.3 @@ -200,7 +200,6 @@ 1.4 "undos_proof" 1.5 "unfolding" 1.6 "unused_thms" 1.7 - "use" 1.8 "use_thy" 1.9 "using" 1.10 "welcome" 1.11 @@ -407,8 +406,7 @@ 1.12 "type_notation" 1.13 "type_synonym" 1.14 "typed_print_translation" 1.15 - "typedecl" 1.16 - "use")) 1.17 + "typedecl")) 1.18 1.19 (defconst isar-keywords-theory-script 1.20 '("inductive_cases"))