1.1 --- a/etc/isar-keywords-ZF.el	Mon Dec 15 21:41:00 2008 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Dec 15 21:41:21 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