changeset 66642 | 88f86bcba5b3 |
parent 66563 | 87b9eb69d5ba |
child 66645 | db317febaf0b |
--- a/CONTRIBUTORS Fri Sep 08 12:49:40 2017 +0100 +++ b/CONTRIBUTORS Fri Sep 08 16:20:47 2017 +0200 @@ -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)