tuned

--- a/NEWS	Tue Nov 01 16:04:35 2016 +0100
+++ b/NEWS	Thu Nov 03 08:10:56 2016 +0100
@@ -476,8 +476,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.