1.1 --- a/etc/isar-keywords.el	Tue Oct 16 23:12:58 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Oct 17 11:53:35 2007 +0200
     1.3 @@ -278,7 +278,6 @@
     1.4      "internals"
     1.5      "is"
     1.6      "lazy"
     1.7 -    "local_syntax"
     1.8      "module_name"
     1.9      "monos"
    1.10      "morphisms"
    1.11 @@ -294,7 +293,6 @@
    1.12      "pre"
    1.13      "rename"
    1.14      "restrict"
    1.15 -    "sequential"
    1.16      "shows"
    1.17      "signature"
    1.18      "states"