NEWS
changeset 55933 12ee2c407dad
parent 55931 62156e694f3d
child 55934 800e155d051a
--- a/NEWS	Thu Mar 06 13:36:48 2014 +0100
+++ b/NEWS	Thu Mar 06 13:36:49 2014 +0100
@@ -190,8 +190,10 @@
     the.simps ~> option.sel
   INCOMPATIBILITY.
 
-* The following map function has been renamed:
+* The following map functions and relators have been renamed:
     map_sum ~> sum_map
+    map_pair ~> prod_map
+    fset_rel ~> rel_fset
 
 * New theory:
     Cardinals/Ordinal_Arithmetic.thy