NEWS
changeset 64441 cc2da001465b
parent 64439 2bafda87b524
child 64529 1c0b93961cb1
     1.1 --- a/NEWS	Tue Nov 01 16:04:35 2016 +0100
     1.2 +++ b/NEWS	Thu Nov 03 08:10:56 2016 +0100
     1.3 @@ -476,8 +476,8 @@
     1.4  
     1.5  * The following theorems have been renamed:
     1.6  
     1.7 -  setsum_left_distrib ~> setsum_distrib_right
     1.8 -  setsum_right_distrib ~> setsum_distrib_left
     1.9 +  setsum_left_distrib ~> sum_distrib_right
    1.10 +  setsum_right_distrib ~> sum_distrib_left
    1.11  
    1.12  INCOMPATIBILITY.
    1.13