CONTRIBUTORS
changeset 66645 db317febaf0b
parent 66642 88f86bcba5b3
child 66648 e9d8ff531700
     1.1 --- a/CONTRIBUTORS	Fri Sep 08 15:27:48 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Sep 08 15:48:58 2017 +0100
     1.3 @@ -17,6 +17,9 @@
     1.4  * September 2017: Jasmin Blanchette
     1.5    Further integration of Nunchaku model finder.
     1.6  
     1.7 +* September 2017: Lawrence Paulson
     1.8 +  HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem.
     1.9 +
    1.10  * August 2017: Andreas Lochbihler, ETH Zurich
    1.11    type of unordered pairs (HOL-Library.Uprod)
    1.12