NEWS
changeset 55931 62156e694f3d
parent 55889 6bfbec3dff62
child 55933 12ee2c407dad
     1.1 --- a/NEWS	Thu Mar 06 12:17:26 2014 +0100
     1.2 +++ b/NEWS	Thu Mar 06 13:36:15 2014 +0100
     1.3 @@ -190,6 +190,9 @@
     1.4      the.simps ~> option.sel
     1.5    INCOMPATIBILITY.
     1.6  
     1.7 +* The following map function has been renamed:
     1.8 +    map_sum ~> sum_map
     1.9 +
    1.10  * New theory:
    1.11      Cardinals/Ordinal_Arithmetic.thy
    1.12