| 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 |
| Tue, 29 Mar 2011 14:27:41 +0200 | hoelzl | add infinite product measure | file | diff | annotate |
| Mon, 14 Mar 2011 14:37:49 +0100 | hoelzl | reworked Probability theory: measures are not type restricted to positive extended reals | file | diff | annotate |