changeset 26184 | 64ee6a2ca6d6 |
parent 25577 | d739f48ef40c |
child 26394 | ddd7825ea4cd |
1.1 --- a/etc/isar-keywords-ZF.el Thu Feb 28 16:54:56 2008 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Thu Feb 28 17:33:35 2008 +0100 1.3 @@ -193,6 +193,7 @@ 1.4 "undo" 1.5 "undos_proof" 1.6 "unfolding" 1.7 + "unused_thms" 1.8 "use" 1.9 "use_thy" 1.10 "using" 1.11 @@ -317,6 +318,7 @@ 1.12 "touch_child_thys" 1.13 "touch_thy" 1.14 "typ" 1.15 + "unused_thms" 1.16 "use" 1.17 "use_thy" 1.18 "value"