| Thu, 01 Dec 2011 14:03:57 +0100 | hoelzl | moved theorems about distribution to the definition; removed oopsed-lemma | changeset | files |
| Thu, 01 Dec 2011 14:03:57 +0100 | hoelzl | rename finite_prob_space.setsum_distribution, it collides with prob_space.setsum_distribution | changeset | files |
| Thu, 01 Dec 2011 14:03:57 +0100 | hoelzl | remove duplicate theorem setsum_real_distribution | changeset | files |