# HG changeset patch
# User nipkow
# Date 1478157056 -3600
# Node ID f7aa4d0f7d026639dbff59656b908d13f1a9e943
# Parent  f630e9385d7e03b6021616f2b00a82bd8c1b0489
tuned

diff -r f630e9385d7e -r f7aa4d0f7d02 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.