NEWS and CONTRIBUTORS
authorWenda Li <wl302@cam.ac.uk>
Fri Jun 29 10:55:05 2018 +0100 (11 months ago)
changeset 685317c6f812afdc4
parent 68530 a110dcc9a4c7
child 68533 7da59435126a
NEWS and CONTRIBUTORS
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Fri Jun 29 10:24:36 2018 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jun 29 10:55:05 2018 +0100
     1.3 @@ -34,6 +34,9 @@
     1.4  * March 2018: Viorel Preoteasa
     1.5    Generalisation of complete_distrib_lattice
     1.6  
     1.7 +* February 2018: Wenda Li
     1.8 +  A unified definition for the order of zeros and poles. Improved reasoning around non-essential singularities.
     1.9 +
    1.10  * January 2018: Sebastien Gouezel
    1.11    Various small additions to HOL-Analysis
    1.12  
     2.1 --- a/NEWS	Fri Jun 29 10:24:36 2018 +0200
     2.2 +++ b/NEWS	Fri Jun 29 10:55:05 2018 +0100
     2.3 @@ -390,6 +390,10 @@
     2.4  Ln, namely (-pi,pi]; the old Arg function has been renamed Arg2pi. 
     2.5  INCOMPATIBILITY.
     2.6  
     2.7 +* Session HOL-Analysis: the functions zorder, zer_poly, porder and pol_poly have been redefined. 
     2.8 +All related lemmas have been reworked.
     2.9 +INCOMPATIBILITY.
    2.10 +
    2.11  * Session HOL-Analysis: infinite products, Moebius functions, the
    2.12  Riemann mapping theorem, the Vitali covering theorem,
    2.13  change-of-variables results for integration and measures.