1.1 --- a/NEWS	Thu Aug 26 20:51:29 2010 +0200
     1.2 +++ b/NEWS	Thu Aug 26 21:03:14 2010 +0200
     1.3 @@ -104,6 +104,7 @@
     1.4      Trueprop ~> HOL.Trueprop
     1.5      True ~> HOL.True
     1.6      False ~> HOL.False
     1.7 +    op --> ~> HOL.implies
     1.8      Not ~> HOL.Not
     1.9      The ~> HOL.The
    1.10      All ~> HOL.All