CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Sep 08 15:27:48 2017 +0100
+++ b/CONTRIBUTORS	Fri Sep 08 15:48:58 2017 +0100
@@ -17,6 +17,9 @@
 * September 2017: Jasmin Blanchette
   Further integration of Nunchaku model finder.
 
+* September 2017: Lawrence Paulson
+  HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem.
+
 * August 2017: Andreas Lochbihler, ETH Zurich
   type of unordered pairs (HOL-Library.Uprod)