# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1504882138 -3600
# Node ID db317febaf0bef2c5ac5ad0164aeae3b7b1c7db5
# Parent  b40abdf82145ec0db238b261f8a42b7bd08656a3
Lawrence Paulson's contributions

diff -r b40abdf82145 -r db317febaf0b 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)