CONTRIBUTORS
changeset 62083 7582b39f51ed
parent 62064 d9874039786e
child 62084 969119292e25
     1.1 --- a/CONTRIBUTORS	Wed Jan 06 13:04:31 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Jan 06 12:18:53 2016 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to Isabelle2016
     1.5  -----------------------------
     1.6  
     1.7 +* Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
     1.8 +  Proof of the central limit theorem: includes weak convergence, characteristic
     1.9 +  functions, and Levy's uniqueness and continuity theorem.
    1.10 +
    1.11  * Winter 2015: Manuel Eberl, TUM
    1.12    The radius of convergence of power series and various summability tests.
    1.13    Harmonic numbers and the Euler-Mascheroni constant.