changeset 66563 | 87b9eb69d5ba |
parent 66482 | 5dc8671bec73 |
child 66642 | 88f86bcba5b3 |
--- a/CONTRIBUTORS Tue Aug 29 20:34:43 2017 +0100 +++ b/CONTRIBUTORS Wed Aug 30 18:01:27 2017 +0200 @@ -14,6 +14,9 @@ Prover IDE improvements. Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. +* August 2017: Andreas Lochbihler, ETH Zurich + type of unordered pairs (HOL-Library.Uprod) + * August 2017: Manuel Eberl, TUM HOL-Analysis: infinite products over natural numbers, infinite sums over arbitrary sets, connection between formal