Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Thu, 12 Jul 2007 11:43:17 +0200
changeset 23804 5801141870b1
parent 23803 11bf7af10ec8
child 23805 953eb3c5f793
updated;
etc/isar-keywords-HOL-Nominal.el file | annotate | diff | comparison | revisions
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
--- 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"
isabelle