isabelle: File revisions

src/HOL/Probability/Binary_Product_Measure.thy

Tue, 13 Mar 2012 13:31:26 +0100	wenzelm	tuned proofs -- eliminated pointless chaining of facts after 'interpret';	file \| diff \| annotate
Tue, 28 Feb 2012 21:53:36 +0100	wenzelm	avoid undeclared variables in let bindings;	file \| diff \| annotate
Wed, 07 Dec 2011 15:10:29 +0100	hoelzl	remove unnecessary sublocale instantiations in HOL-Probability (for clarity and speedup); remove Infinite_Product_Measure.product_prob_space which was a duplicate of Probability_Measure.product_prob_space	file \| diff \| annotate
Mon, 12 Sep 2011 07:55:43 +0200	nipkow	new fastforce replacing fastsimp - less confusing name	file \| diff \| annotate
Tue, 19 Jul 2011 14:36:12 +0200	hoelzl	Rename extreal => ereal	file \| diff \| annotate
Thu, 26 May 2011 14:12:01 +0200	hoelzl	add lemma sigma_sets_singleton	file \| diff \| annotate
Mon, 23 May 2011 19:21:05 +0200	hoelzl	move lemmas to Extended_Reals and Extended_Real_Limits	file \| diff \| annotate
Tue, 29 Mar 2011 14:27:39 +0200	hoelzl	split Product_Measure into Binary_Product_Measure and Finite_Product_Measure	file \| diff \| annotate \| base

isabelle