CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jun 28 14:14:05 2018 +0100
+++ b/CONTRIBUTORS	Thu Jun 28 17:14:40 2018 +0100
@@ -12,6 +12,9 @@
 * June 2018: Martin Baillon and Paulo Emílio de Vilhena
   A variety of contributions to HOL-Algebra.
 
+* June 2018: Wenda Li
+  New/strengthened results involving analysis, topology, etc.
+
 * May 2018: Manuel Eberl
   Landau symbols and asymptotic equivalence (moved from the AFP).