isabelle: Changelog

hoelzl [Tue, 17 May 2011 15:00:39 +0200] rev 42867

Collect intro-rules for sigma-algebras * * * sets_Collect shouldn't be intro rules

hoelzl [Tue, 17 May 2011 14:36:54 +0200] rev 42866

the measurable sets with null measure form a ring

hoelzl [Tue, 17 May 2011 12:24:48 +0200] rev 42865

add some lemmas for infinite product measure

hoelzl [Tue, 17 May 2011 12:22:58 +0200] rev 42864

add measurable_Least

hoelzl [Tue, 17 May 2011 12:22:40 +0200] rev 42863

add restrict_sigma

hoelzl [Tue, 17 May 2011 12:21:58 +0200] rev 42862

add borel_eq_atLeastLessThan

hoelzl [Tue, 17 May 2011 11:47:36 +0200] rev 42861

Add formalization of probabilistic independence for families of sets

hoelzl [Thu, 19 May 2011 19:58:07 +0200] rev 42860

add Bernoulli space

hoelzl [Thu, 19 May 2011 19:57:59 +0200] rev 42859

add product of probability spaces with finite cardinality

hoelzl [Thu, 19 May 2011 18:11:15 +0200] rev 42858

remove double sum_over_space_real_distribution

isabelle