Fri, 20 May 2011 16:23:03 +0200 | hoelzl | add lemma prob_finite_product | file | diff | annotate |
Thu, 19 May 2011 19:58:07 +0200 | hoelzl | add Bernoulli space | file | diff | annotate |
Thu, 19 May 2011 19:57:59 +0200 | hoelzl | add product of probability spaces with finite cardinality | file | diff | annotate |
Thu, 19 May 2011 18:11:15 +0200 | hoelzl | remove double sum_over_space_real_distribution | file | diff | annotate |
Fri, 01 Apr 2011 17:20:56 +0200 | hoelzl | remove unnecessary prob_preserving | file | diff | annotate |
Fri, 01 Apr 2011 17:20:33 +0200 | hoelzl | add prob_space_vimage | file | diff | annotate |
Tue, 29 Mar 2011 14:27:42 +0200 | hoelzl | rename Probability_Space to Probability_Measure | file | diff | annotate | base |