tuned
authornipkow
Thu Nov 03 08:10:56 2016 +0100 (2016-11-03)
changeset 64457f7aa4d0f7d02
parent 64456 f630e9385d7e
child 64458 82e8fd850467
tuned
NEWS
     1.1 --- a/NEWS	Wed Nov 02 11:06:40 2016 +0100
     1.2 +++ b/NEWS	Thu Nov 03 08:10:56 2016 +0100
     1.3 @@ -472,8 +472,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