diff -r 6aaf80ea9715 -r 01b2de947cff NEWS
--- a/NEWS	Sun Dec 19 18:15:21 2010 -0800
+++ b/NEWS	Sun Dec 19 18:38:50 2010 -0800
@@ -275,7 +275,7 @@
     mem_iff ~> member_def
     null_empty ~> null_def
 
-INCOMPATIBILITY.  Note that these were not suppossed to be used
+INCOMPATIBILITY.  Note that these were not supposed to be used
 regularly unless for striking reasons; their main purpose was code
 generation.
 
@@ -501,6 +501,8 @@
 
 * The type class 'finite_po' has been removed. INCOMPATIBILITY.
 
+* The function 'cprod_map' has been renamed to 'prod_map'.
+
 * Renamed some theorems (the original names are also still available).
   expand_fun_below   ~> fun_below_iff
   below_fun_ext      ~> fun_belowI