NEWS

--- a/NEWS	Sun Oct 10 22:50:25 2010 +0200
+++ b/NEWS	Thu Oct 14 12:40:14 2010 +0200
@@ -103,6 +103,8 @@
 
 * Dropped type classes mult_mono and mult_mono1.  INCOMPATIBILITY.
 
+* Removed output syntax "'a ~=> 'b" for "'a => 'b option". INCOMPATIBILITY.
+
 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;
 canonical names for instance definitions for functions; various improvements.
 INCOMPATIBILITY.