1.1 --- a/etc/isar-keywords-ZF.el	Thu Jan 18 11:16:49 2007 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Jan 19 13:09:31 2007 +0100
     1.3 @@ -58,6 +58,7 @@
     1.4      "context"
     1.5      "corollary"
     1.6      "datatype"
     1.7 +    "declaration"
     1.8      "declare"
     1.9      "def"
    1.10      "defaultsort"
    1.11 @@ -373,6 +374,7 @@
    1.12      "consts_code"
    1.13      "context"
    1.14      "datatype"
    1.15 +    "declaration"
    1.16      "defaultsort"
    1.17      "definition"
    1.18      "defs"