isabelle: File revisions

src/HOL/Probability/Nonnegative_Lebesgue_Integration.thy

Fri, 04 Jul 2014 20:18:47 +0200	haftmann	reduced name variants for assoc and commute on plus and mult	file \| diff \| annotate
Mon, 30 Jun 2014 15:45:21 +0200	hoelzl	import more stuff from the CLT proof; base the lborel measure on interval_measure; remove lebesgue measure	file \| diff \| annotate
Sat, 28 Jun 2014 09:16:42 +0200	haftmann	fact consolidation	file \| diff \| annotate
Wed, 18 Jun 2014 07:31:12 +0200	hoelzl	moved lemmas from the proof of the Central Limit Theorem by Jeremy Avigad and Luke Serafin	file \| diff \| annotate
Fri, 30 May 2014 15:56:30 +0200	hoelzl	better support for restrict_space	file \| diff \| annotate
Tue, 20 May 2014 19:24:39 +0200	hoelzl	add various lemmas	file \| diff \| annotate
Mon, 19 May 2014 14:26:58 +0200	hoelzl	renamed positive_integral to nn_integral	file \| diff \| annotate
Mon, 19 May 2014 13:44:13 +0200	hoelzl	fixed document generation for HOL-Probability	file \| diff \| annotate
Mon, 19 May 2014 12:04:45 +0200	hoelzl	introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces	file \| diff \| annotate \| base

isabelle