| Wed, 07 Oct 2015 17:11:16 +0200 | hoelzl | cleanup projective limit of probability distributions; proved Ionescu-Tulcea; used it to prove infinite prob. distribution | file | diff | annotate |
| Sun, 02 Nov 2014 17:06:05 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Mon, 30 Jun 2014 15:45:21 +0200 | hoelzl | import more stuff from the CLT proof; base the lborel measure on interval_measure; remove lebesgue measure | file | diff | annotate |
| Sat, 28 Jun 2014 09:16:42 +0200 | haftmann | fact consolidation | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Wed, 28 Nov 2012 15:59:18 +0100 | wenzelm | eliminated slightly odd identifiers; | file | diff | annotate |
| Tue, 27 Nov 2012 11:29:47 +0100 | immler | qualified interpretation of sigma_algebra, to avoid name clashes | file | diff | annotate |