--- a/CONTRIBUTORS Fri Sep 08 19:26:28 2017 +0200
+++ b/CONTRIBUTORS Fri Sep 08 19:31:43 2017 +0200
@@ -6,6 +6,12 @@
Contributions to Isabelle2017
-----------------------------
+* September 2017: Lawrence Paulson
+ HOL-Analysis, e.g. simplicial complexes, Jordan Curve Theorem.
+
+* September 2017: Jasmin Blanchette
+ Further integration of Nunchaku model finder.
+
* November 2016 - June 2017: Makarius Wenzel
New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.
@@ -14,12 +20,6 @@
Prover IDE improvements.
Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
-* 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)