CONTRIBUTORS
changeset 68532 f8b98d31ad45
parent 68522 d9cbc1e8644d
child 68533 7da59435126a
     1.1 --- a/CONTRIBUTORS	Thu Jun 28 14:14:05 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Jun 28 17:14:40 2018 +0100
     1.3 @@ -12,6 +12,9 @@
     1.4  * June 2018: Martin Baillon and Paulo Emílio de Vilhena
     1.5    A variety of contributions to HOL-Algebra.
     1.6  
     1.7 +* June 2018: Wenda Li
     1.8 +  New/strengthened results involving analysis, topology, etc.
     1.9 +
    1.10  * May 2018: Manuel Eberl
    1.11    Landau symbols and asymptotic equivalence (moved from the AFP).
    1.12