isabelle: Changelog

haftmann [Fri, 20 May 2011 08:16:56 +0200] rev 42869

use point-free characterization for locale fun_left_comm_idem

haftmann [Fri, 20 May 2011 08:16:13 +0200] rev 42868

tuned proof

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

isabelle