CONTRIBUTORS
changeset 66480 4b8d1df8933b
parent 66475 d8e0fd64216f
child 66482 5dc8671bec73
     1.1 --- a/CONTRIBUTORS	Mon Aug 21 19:20:02 2017 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Aug 21 20:49:15 2017 +0200
     1.3 @@ -14,6 +14,11 @@
     1.4    Prover IDE improvements.
     1.5    Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
     1.6  
     1.7 +* August 2017: Manuel Eberl, TUM
     1.8 +  HOL-Analysis: infinite products over natural numbers,
     1.9 +  infinite sums over arbitrary sets, connection between formal
    1.10 +  power series and analytic complex functions
    1.11 +
    1.12  * March 2017: Alasdair Armstrong, University of Sheffield and
    1.13    Simon Foster, University of York
    1.14    Fixed-point theory and Galois Connections in HOL-Algebra.