CONTRIBUTORS
changeset 68533 7da59435126a
parent 68531 7c6f812afdc4
parent 68532 f8b98d31ad45
child 68547 549a4992222f
     1.1 --- a/CONTRIBUTORS	Fri Jun 29 10:55:05 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Jun 29 11:39: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