1.1 --- a/etc/isar-keywords-ZF.el	Thu Jul 12 00:15:42 2007 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Jul 12 11:43:17 2007 +0200
     1.3 @@ -386,6 +386,7 @@
     1.4      "context"
     1.5      "datatype"
     1.6      "declaration"
     1.7 +    "declare"
     1.8      "defaultsort"
     1.9      "definition"
    1.10      "defs"
    1.11 @@ -428,8 +429,7 @@
    1.12      "types_code"))
    1.13  
    1.14  (defconst isar-keywords-theory-script
    1.15 -  '("declare"
    1.16 -    "inductive_cases"))
    1.17 +  '("inductive_cases"))
    1.18  
    1.19  (defconst isar-keywords-theory-goal
    1.20    '("corollary"