| Tue, 27 Nov 2012 11:29:47 +0100 | immler | qualified interpretation of sigma_algebra, to avoid name clashes | file | diff | annotate |
| Mon, 23 Apr 2012 12:14:35 +0200 | hoelzl | reworked Probability theory | file | diff | annotate |
| Tue, 28 Feb 2012 21:53:36 +0100 | wenzelm | avoid undeclared variables in let bindings; | file | diff | annotate |
| Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate |
| Tue, 17 May 2011 14:36:54 +0200 | hoelzl | the measurable sets with null measure form a ring | file | diff | annotate |
| Tue, 29 Mar 2011 14:27:39 +0200 | hoelzl | split Product_Measure into Binary_Product_Measure and Finite_Product_Measure | file | diff | annotate |
| Mon, 14 Mar 2011 16:59:37 +0100 | wenzelm | standardized headers; | file | diff | annotate |