changeset 29252 | ea97aa6aeba2 |
parent 29232 | 712c5281d4a4 |
parent 29113 | fb31b7a6c858 |
child 29607 | 2db3537c3535 |
1.1 --- a/etc/isar-keywords-ZF.el Tue Dec 30 08:18:54 2008 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Tue Dec 30 11:10:01 2008 +0100 1.3 @@ -200,7 +200,6 @@ 1.4 "use" 1.5 "use_thy" 1.6 "using" 1.7 - "value" 1.8 "welcome" 1.9 "with" 1.10 "{" 1.11 @@ -323,7 +322,6 @@ 1.12 "typ" 1.13 "unused_thms" 1.14 "use_thy" 1.15 - "value" 1.16 "welcome")) 1.17 1.18 (defconst isar-keywords-theory-begin