listed contribution
authorblanchet
Fri Sep 08 16:20:47 2017 +0200 (20 months ago)
changeset 6664288f86bcba5b3
parent 66641 ff2e0115fea4
child 66644 b40abdf82145
listed contribution
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Fri Sep 08 12:49:40 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Sep 08 16:20:47 2017 +0200
     1.3 @@ -14,6 +14,9 @@
     1.4    Prover IDE improvements.
     1.5    Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
     1.6  
     1.7 +* September 2017: Jasmin Blanchette
     1.8 +  Further integration of Nunchaku model finder.
     1.9 +
    1.10  * August 2017: Andreas Lochbihler, ETH Zurich
    1.11    type of unordered pairs (HOL-Library.Uprod)
    1.12