# HG changeset patch
# User haftmann
# Date 1282849394 -7200
# Node ID ec9a4926e3c6aa7aab45666cc84b8ce2591cf5bf
# Parent  948c002d773be61fdc30e03352141c4d75af932b
NEWS

diff -r 948c002d773b -r ec9a4926e3c6 NEWS
--- a/NEWS	Thu Aug 26 20:51:29 2010 +0200
+++ b/NEWS	Thu Aug 26 21:03:14 2010 +0200
@@ -104,6 +104,7 @@
     Trueprop ~> HOL.Trueprop
     True ~> HOL.True
     False ~> HOL.False
+    op --> ~> HOL.implies
     Not ~> HOL.Not
     The ~> HOL.The
     All ~> HOL.All