CONTRIBUTORS
changeset 62201 eca7b38c8ee5
parent 62138 d679e7d500ad
child 62205 ca68dc26fbb6
equal deleted inserted replaced
62200:67792e4a5486 62201:eca7b38c8ee5
     3 listed as an author in one of the source files of this Isabelle distribution.
     3 listed as an author in one of the source files of this Isabelle distribution.
     4 
     4 
     5 
     5 
     6 Contributions to Isabelle2016
     6 Contributions to Isabelle2016
     7 -----------------------------
     7 -----------------------------
       
     8 
       
     9 * Winter 2016: Manuel Eberl, TUM
       
    10   Support for real exponentiation ("powr") in the "approximation" method.
       
    11   (This was removed in Isabelle 2015 due to a changed definition of "powr")
     8 
    12 
     9 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
    13 * Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
    10   Proof of the central limit theorem: includes weak convergence,
    14   Proof of the central limit theorem: includes weak convergence,
    11   characteristic functions, and Levy's uniqueness and continuity theorem.
    15   characteristic functions, and Levy's uniqueness and continuity theorem.
    12 
    16