diff -r 7c6f812afdc4 -r 7da59435126a CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Jun 29 10:55:05 2018 +0100
+++ b/CONTRIBUTORS	Fri Jun 29 11:39: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).