1.1 --- a/NEWS	Sat Aug 28 20:24:40 2010 +0800
     1.2 +++ b/NEWS	Sat Aug 28 16:14:32 2010 +0200
     1.3 @@ -136,6 +136,7 @@
     1.4      op & ~> HOL.conj
     1.5      op | ~> HOL.disj
     1.6      op --> ~> HOL.implies
     1.7 +    op = ~> HOL.eq
     1.8      Not ~> HOL.Not
     1.9      The ~> HOL.The
    1.10      All ~> HOL.All