src/HOL/Probability/Lebesgue_Measure.thy
Mon, 23 Aug 2010 19:35:57 +0200 hoelzl Rewrite the Probability theory.
less more (0) tip