CONTRIBUTORS
changeset 68531 7c6f812afdc4
parent 68522 d9cbc1e8644d
child 68533 7da59435126a
     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