equal
deleted
inserted
replaced
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 