# HG changeset patch
# User wenzelm
# Date 1184233397 -7200
# Node ID 5801141870b17fed84821fc6bb67e658d5f01fb5
# Parent  11bf7af10ec8e248d165cad69f9b4faa79fc92eb
updated;

diff -r 11bf7af10ec8 -r 5801141870b1 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Thu Jul 12 00:15:42 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Thu Jul 12 11:43:17 2007 +0200
@@ -409,6 +409,7 @@
     "context"
     "datatype"
     "declaration"
+    "declare"
     "defaultsort"
     "defer_recdef"
     "definition"
@@ -459,8 +460,7 @@
     "types_code"))
 
 (defconst isar-keywords-theory-script
-  '("declare"
-    "inductive_cases"))
+  '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
diff -r 11bf7af10ec8 -r 5801141870b1 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Jul 12 00:15:42 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Thu Jul 12 11:43:17 2007 +0200
@@ -386,6 +386,7 @@
     "context"
     "datatype"
     "declaration"
+    "declare"
     "defaultsort"
     "definition"
     "defs"
@@ -428,8 +429,7 @@
     "types_code"))
 
 (defconst isar-keywords-theory-script
-  '("declare"
-    "inductive_cases"))
+  '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
   '("corollary"
diff -r 11bf7af10ec8 -r 5801141870b1 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Jul 12 00:15:42 2007 +0200
+++ b/etc/isar-keywords.el	Thu Jul 12 11:43:17 2007 +0200
@@ -423,6 +423,7 @@
     "context"
     "datatype"
     "declaration"
+    "declare"
     "defaultsort"
     "defer_recdef"
     "definition"
@@ -474,8 +475,7 @@
     "types_code"))
 
 (defconst isar-keywords-theory-script
-  '("declare"
-    "inductive_cases"))
+  '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"