NEWS

--- a/NEWS	Fri Aug 20 17:46:56 2010 +0200
+++ b/NEWS	Fri Aug 20 17:48:30 2010 +0200
@@ -35,6 +35,10 @@
 
 *** HOL ***
 
+* Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;
+canonical names for instance definitions for functions; various improvements.
+INCOMPATIBILITY.
+
 * Records: logical foundation type for records do not carry a '_type' suffix
 any longer.  INCOMPATIBILITY.