NEWS

--- a/NEWS	Thu Mar 06 14:57:15 2014 +0100
+++ b/NEWS	Thu Mar 06 15:10:56 2014 +0100
@@ -193,9 +193,10 @@
 * The following map functions and relators have been renamed:
     sum_map ~> map_sum
     map_pair ~> map_prod
-    fset_rel ~> rel_fset
-    cset_rel ~> rel_cset
+    fset_rel ~> rel_fset (in "Library/FSet.thy")
+    cset_rel ~> rel_cset (in "Library/Countable_Set_Type.thy")
     set_rel ~> rel_set
+    rel_vset ~> vset_rel (in "Library/Quotient_Set.thy")
 
 * New theory:
     Cardinals/Ordinal_Arithmetic.thy