NEWS

--- a/NEWS	Wed Nov 02 11:06:40 2016 +0100
+++ b/NEWS	Thu Nov 03 08:10:56 2016 +0100
@@ -472,8 +472,8 @@
 
 * The following theorems have been renamed:
 
-  setsum_left_distrib ~> setsum_distrib_right
-  setsum_right_distrib ~> setsum_distrib_left
+  setsum_left_distrib ~> sum_distrib_right
+  setsum_right_distrib ~> sum_distrib_left
 
 INCOMPATIBILITY.