NEWS
changeset 68531 7c6f812afdc4
parent 68523 ccacc84e0251
child 68547 549a4992222f
     1.1 --- a/NEWS	Fri Jun 29 10:24:36 2018 +0200
     1.2 +++ b/NEWS	Fri Jun 29 10:55:05 2018 +0100
     1.3 @@ -390,6 +390,10 @@
     1.4  Ln, namely (-pi,pi]; the old Arg function has been renamed Arg2pi. 
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Session HOL-Analysis: the functions zorder, zer_poly, porder and pol_poly have been redefined. 
     1.8 +All related lemmas have been reworked.
     1.9 +INCOMPATIBILITY.
    1.10 +
    1.11  * Session HOL-Analysis: infinite products, Moebius functions, the
    1.12  Riemann mapping theorem, the Vitali covering theorem,
    1.13  change-of-variables results for integration and measures.