changeset 29113 | fb31b7a6c858 |
parent 28895 | 4e2914c2f8c5 |
child 29252 | ea97aa6aeba2 |
--- a/etc/isar-keywords-ZF.el Mon Dec 15 21:41:00 2008 +0100 +++ b/etc/isar-keywords-ZF.el Mon Dec 15 21:41:21 2008 +0100 @@ -200,7 +200,6 @@ "use" "use_thy" "using" - "value" "welcome" "with" "{" @@ -323,7 +322,6 @@ "typ" "unused_thms" "use_thy" - "value" "welcome")) (defconst isar-keywords-theory-begin