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-ZF.el
changeset 15624 484178635bd8
parent 15598 4ab52355bb53
child 15762 13d1ec61bc89 
--- a/etc/isar-keywords-ZF.el	Thu Mar 24 16:36:40 2005 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Mar 24 17:03:37 2005 +0100
@@ -74,6 +74,7 @@
     "init_toplevel"
     "instance"
     "instantiate"
+    "interpret"
     "interpretation"
     "judgment"
     "kill"
@@ -389,6 +390,7 @@
 (defconst isar-keywords-proof-goal
   '("have"
     "hence"
+    "interpret"
     "show"
     "thus"))
isabelle