CONTRIBUTORS
changeset 66563 87b9eb69d5ba
parent 66482 5dc8671bec73
child 66642 88f86bcba5b3
     1.1 --- a/CONTRIBUTORS	Tue Aug 29 20:34:43 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Aug 30 18:01:27 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 +* August 2017: Andreas Lochbihler, ETH Zurich
     1.8 +  type of unordered pairs (HOL-Library.Uprod)
     1.9 +
    1.10  * August 2017: Manuel Eberl, TUM
    1.11    HOL-Analysis: infinite products over natural numbers,
    1.12    infinite sums over arbitrary sets, connection between formal