| Fri, 07 Dec 2012 14:29:09 +0100 | hoelzl | add exponential and uniform distributions | file | diff | annotate |
| Thu, 15 Nov 2012 15:50:01 +0100 | immler | generalized to copy of countable types instead of instantiation of nat for discrete topology | file | diff | annotate |
| Thu, 15 Nov 2012 11:16:58 +0100 | immler | added projective limit; | file | diff | annotate |
| Thu, 15 Nov 2012 10:49:58 +0100 | immler | regularity of measures, therefore: | file | diff | annotate |
| Mon, 23 Apr 2012 12:14:35 +0200 | hoelzl | reworked Probability theory | file | diff | annotate |
| Thu, 01 Dec 2011 15:41:48 +0100 | hoelzl | do not import examples Probability theory | file | diff | annotate |
| Mon, 27 Jun 2011 09:42:46 +0200 | hoelzl | move conditional expectation to its own theory file | file | diff | annotate |