NEWS

--- a/NEWS	Sun Aug 22 14:27:30 2010 +0200
+++ b/NEWS	Mon Aug 23 11:17:13 2010 +0200
@@ -35,6 +35,8 @@
 
 *** HOL ***
 
+* Dropped type classes mult_mono and mult_mono1.  INCOMPATIBILITY.
+
 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;
 canonical names for instance definitions for functions; various improvements.
 INCOMPATIBILITY.