--- a/NEWS Fri Aug 27 10:55:20 2010 +0200
+++ b/NEWS Fri Aug 27 10:56:46 2010 +0200
@@ -104,6 +104,8 @@
Trueprop ~> HOL.Trueprop
True ~> HOL.True
False ~> HOL.False
+ op & ~> HOL.conj
+ op | ~> HOL.disj
op --> ~> HOL.implies
Not ~> HOL.Not
The ~> HOL.The