2011-01-24 hoelzl [Mon, 24 Jan 2011 22:29:50 +0100] rev 41661
use pre-image measure, instead of image
src/HOL/Probability/Information.thy src/HOL/Probability/Lebesgue_Integration.thy src/HOL/Probability/Lebesgue_Measure.thy src/HOL/Probability/Measure.thy src/HOL/Probability/Probability_Space.thy src/HOL/Probability/Product_Measure.thy src/HOL/Probability/Radon_Nikodym.thy

2011-01-21 hoelzl [Fri, 21 Jan 2011 11:39:26 +0100] rev 41660
use AE_mp in AE_conjI proof
src/HOL/Probability/Measure.thy

2011-01-19 hoelzl [Wed, 19 Jan 2011 17:44:53 +0100] rev 41659
tuned proof
src/HOL/Probability/Product_Measure.thy

2011-01-21 haftmann [Fri, 21 Jan 2011 10:43:09 +0100] rev 41658
merged

2011-01-21 haftmann [Fri, 21 Jan 2011 09:44:12 +0100] rev 41657
moved theorem
src/HOL/Finite_Set.thy src/HOL/Fun.thy

2011-01-21 haftmann [Fri, 21 Jan 2011 09:41:59 +0100] rev 41656
restructured theory;
tuned proofs
src/HOL/Finite_Set.thy

2011-01-19 hoelzl [Wed, 19 Jan 2011 11:34:10 +0100] rev 41655
merged
src/HOL/IsaMakefile src/HOL/Multivariate_Analysis/Gauge_Measure.thy

2011-01-18 hoelzl [Tue, 18 Jan 2011 21:37:23 +0100] rev 41654
Gauge measure removed
src/HOL/IsaMakefile src/HOL/Multivariate_Analysis/Gauge_Measure.thy src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy src/HOL/Probability/Lebesgue_Measure.thy

2011-01-18 haftmann [Tue, 18 Jan 2011 09:44:29 +0100] rev 41653
merged

2011-01-18 haftmann [Tue, 18 Jan 2011 09:44:23 +0100] rev 41652
report mutabelle log in mira configuration
Admin/mira.py