Thu, 20 Oct 2016 18:42:01 +0200 | hoelzl | HOL-Probability: generalize theorems about cumulative distribution function | file | diff | annotate |
Sun, 02 Oct 2016 14:07:43 +0200 | wenzelm | updated headers; | file | diff | annotate |
Fri, 30 Sep 2016 15:35:32 +0200 | hoelzl | HOL-Analysis: move Continuum_Not_Denumerable from Library | file | diff | annotate |
Tue, 12 Jul 2016 19:12:17 +0200 | wenzelm | more standard name; | file | diff | annotate |
Tue, 14 Jun 2016 12:18:45 +0200 | hoelzl | Probability: tuned headers; cleanup Radon_Nikodym | file | diff | annotate |
Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Fri, 13 May 2016 20:24:10 +0200 | wenzelm | eliminated use of empty "assms"; | file | diff | annotate |
Thu, 14 Apr 2016 15:48:11 +0200 | hoelzl | Probability: move emeasure and nn_integral from ereal to ennreal | file | diff | annotate |
Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | file | diff | annotate |