NEWS

--- a/NEWS	Mon Nov 22 09:37:39 2010 +0100
+++ b/NEWS	Mon Nov 22 17:46:51 2010 +0100
@@ -89,6 +89,9 @@
 
 *** HOL ***
 
+* Renamed theory Fset to Cset, type Fset.fset to Cset.set, in order to
+avoid confusion with finite sets.  INCOMPATIBILITY.
+
 * Theory Multiset provides stable quicksort implementation of sort_key.
 
 * Quickcheck now has a configurable time limit which is set to 30 seconds