| 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 |
| Fri, 20 May 2011 21:38:32 +0200 | hoelzl | Add restricted borel measure to {0 .. 1} | file | diff | annotate |