merged
authorpaulson
Fri, 08 Sep 2017 15:27:48 +0100
changeset 66644 b40abdf82145
parent 66642 88f86bcba5b3 (diff)
parent 66643 f7e38b8583a0 (current diff)
child 66645 db317febaf0b
merged
--- a/CONTRIBUTORS	Fri Sep 08 15:27:22 2017 +0100
+++ b/CONTRIBUTORS	Fri Sep 08 15:27:48 2017 +0100
@@ -14,6 +14,9 @@
   Prover IDE improvements.
   Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
 
+* September 2017: Jasmin Blanchette
+  Further integration of Nunchaku model finder.
+
 * August 2017: Andreas Lochbihler, ETH Zurich
   type of unordered pairs (HOL-Library.Uprod)