Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-HOL-Nominal.el
changeset 23804 5801141870b1
parent 23732 f9f89b7cfdc7
child 23992 bf352c4c499b 
--- 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"
isabelle