Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lawrence Paulson's contributions
authorpaulson <lp15@cam.ac.uk>
Fri, 08 Sep 2017 15:48:58 +0100
changeset 66645 db317febaf0b
parent 66644 b40abdf82145
child 66646 383d8e388d1b
Lawrence Paulson's contributions
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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)
isabelle