--- 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