isabelle: File revisions

src/HOL/Probability/Levy.thy

Fri, 16 Sep 2016 13:56:51 +0200	hoelzl	move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel	file \| diff \| annotate
Tue, 02 Aug 2016 21:30:30 +0200	wenzelm	more symbols;	file \| diff \| annotate
Fri, 22 Jul 2016 11:00:43 +0200	wenzelm	tuned proofs -- avoid unstructured calculation;	file \| diff \| annotate
Tue, 05 Jul 2016 20:29:58 +0200	hoelzl	Probability: simplified Levy's uniqueness theorem	file \| diff \| annotate
Tue, 14 Jun 2016 12:18:45 +0200	hoelzl	Probability: tuned headers; cleanup Radon_Nikodym	file \| diff \| annotate
Thu, 26 May 2016 17:51:22 +0200	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
Thu, 14 Apr 2016 15:48:11 +0200	hoelzl	Probability: move emeasure and nn_integral from ereal to ennreal	file \| diff \| annotate
Wed, 24 Feb 2016 15:51:01 +0000	paulson	Substantial new material for multivariate analysis. Also removal of some duplicates.	file \| diff \| annotate
Wed, 06 Jan 2016 12:18:53 +0100	hoelzl	add the proof of the central limit theorem	file \| diff \| annotate

isabelle