CONTRIBUTORS
changeset 62060 b75764fc4c35
parent 62016 740c70a21523
child 62064 d9874039786e
     1.1 --- a/CONTRIBUTORS	Tue Jan 05 14:25:12 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 05 15:38:37 2016 +0100
     1.3 @@ -6,6 +6,13 @@
     1.4  Contributions to Isabelle2016
     1.5  -----------------------------
     1.6  
     1.7 +* Winter 2015: Manuel Eberl, TUM
     1.8 +  The radius of convergence of power series and various summability tests.
     1.9 +  Harmonic numbers and the Euler–Mascheroni constant.
    1.10 +  The Generalised Binomial Theorem.
    1.11 +  The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and 
    1.12 +  their most important properties.
    1.13 +
    1.14  * Autumn 2015: Florian Haftmann, TUM
    1.15    Rewrite definitions for global interpretations and sublocale
    1.16    declarations.