src/HOL/Probability/Independent_Family.thy
2011-05-26 hoelzl 2011-05-26 add lemma kolmogorov_0_1_law
2011-05-26 hoelzl 2011-05-26 add lemma indep_sets_collect_sigma
2011-05-17 hoelzl 2011-05-17 Add formalization of probabilistic independence for families of sets