| 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 |
| Tue, 17 May 2011 11:47:36 +0200 | hoelzl | Add formalization of probabilistic independence for families of sets | file | diff | annotate |
| Tue, 29 Mar 2011 14:27:42 +0200 | hoelzl | rename Probability_Space to Probability_Measure | file | diff | annotate |