# HG changeset patch
# User nipkow
# Date 1478157056 -3600
# Node ID cc2da001465b3feba28084f8196d4b300bc01114
# Parent  0d31d1735104d5ed7a5342c4970753572a4332dc
tuned

diff -r 0d31d1735104 -r cc2da001465b NEWS
--- 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.