--- 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