1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Thu Jul 12 00:15:42 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Thu Jul 12 11:43:17 2007 +0200
     1.3 @@ -409,6 +409,7 @@
     1.4      "context"
     1.5      "datatype"
     1.6      "declaration"
     1.7 +    "declare"
     1.8      "defaultsort"
     1.9      "defer_recdef"
    1.10      "definition"
    1.11 @@ -459,8 +460,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    '("ax_specification"

     2.1 --- a/etc/isar-keywords-ZF.el	Thu Jul 12 00:15:42 2007 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Thu Jul 12 11:43:17 2007 +0200
     2.3 @@ -386,6 +386,7 @@
     2.4      "context"
     2.5      "datatype"
     2.6      "declaration"
     2.7 +    "declare"
     2.8      "defaultsort"
     2.9      "definition"
    2.10      "defs"
    2.11 @@ -428,8 +429,7 @@
    2.12      "types_code"))
    2.13  
    2.14  (defconst isar-keywords-theory-script
    2.15 -  '("declare"
    2.16 -    "inductive_cases"))
    2.17 +  '("inductive_cases"))
    2.18  
    2.19  (defconst isar-keywords-theory-goal
    2.20    '("corollary"

     3.1 --- a/etc/isar-keywords.el	Thu Jul 12 00:15:42 2007 +0200
     3.2 +++ b/etc/isar-keywords.el	Thu Jul 12 11:43:17 2007 +0200
     3.3 @@ -423,6 +423,7 @@
     3.4      "context"
     3.5      "datatype"
     3.6      "declaration"
     3.7 +    "declare"
     3.8      "defaultsort"
     3.9      "defer_recdef"
    3.10      "definition"
    3.11 @@ -474,8 +475,7 @@
    3.12      "types_code"))
    3.13  
    3.14  (defconst isar-keywords-theory-script
    3.15 -  '("declare"
    3.16 -    "inductive_cases"))
    3.17 +  '("inductive_cases"))
    3.18  
    3.19  (defconst isar-keywords-theory-goal
    3.20    '("ax_specification"