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 18757 f0d901bc0686
parent 18702 7dc7dcd63224
child 18775 becdbf57eeb8 
--- a/etc/isar-keywords-ZF.el	Mon Jan 23 14:06:40 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Jan 23 14:07:52 2006 +0100
@@ -202,14 +202,12 @@
   '("advanced"
     "and"
     "assumes"
-    "atom"
     "attach"
     "begin"
     "binder"
     "case_eqns"
     "con_defs"
     "concl"
-    "constants"
     "constrains"
     "contains"
     "defines"
@@ -236,6 +234,7 @@
     "recursor_eqns"
     "shows"
     "structure"
+    "target_atom"
     "type_elims"
     "type_intros"
     "uses"
isabelle