CONTRIBUTORS
changeset 62201 eca7b38c8ee5
parent 62138 d679e7d500ad
child 62205 ca68dc26fbb6
     1.1 --- a/CONTRIBUTORS	Tue Jan 19 07:59:29 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 19 11:19:25 2016 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to Isabelle2016
     1.5  -----------------------------
     1.6  
     1.7 +* Winter 2016: Manuel Eberl, TUM
     1.8 +  Support for real exponentiation ("powr") in the "approximation" method.
     1.9 +  (This was removed in Isabelle 2015 due to a changed definition of "powr")
    1.10 +
    1.11  * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
    1.12    Proof of the central limit theorem: includes weak convergence,
    1.13    characteristic functions, and Levy's uniqueness and continuity theorem.