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.
NEWS
changeset 38864 4abe644fcea5
parent 38858 1920158cfa17
child 38980 af73cf0dc31f
child 39077 ee78849c1624 
--- a/NEWS	Sat Aug 28 20:24:40 2010 +0800
+++ b/NEWS	Sat Aug 28 16:14:32 2010 +0200
@@ -136,6 +136,7 @@
     op & ~> HOL.conj
     op | ~> HOL.disj
     op --> ~> HOL.implies
+    op = ~> HOL.eq
     Not ~> HOL.Not
     The ~> HOL.The
     All ~> HOL.All
isabelle