isabelle: File revisions

src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

Mon, 14 Mar 2011 14:37:47 +0100	hoelzl	split Extended_Reals into parts for Library and Multivariate_Analysis	file \| diff \| annotate
Tue, 18 Jan 2011 21:37:23 +0100	hoelzl	Gauge measure removed	file \| diff \| annotate
Mon, 23 Aug 2010 19:35:57 +0200	hoelzl	Rewrite the Probability theory.	file \| diff \| annotate
Mon, 21 Jun 2010 19:33:51 +0200	hoelzl	Introduce a type class for euclidean spaces, port most lemmas from real^'n to this type class.	file \| diff \| annotate
Mon, 26 Apr 2010 15:22:03 -0700	huffman	move proof of Fashoda meet theorem into separate file	file \| diff \| annotate
Mon, 22 Feb 2010 20:41:49 +0100	hoelzl	Replaced Integration by Multivariate-Analysis/Real_Integration	file \| diff \| annotate
Wed, 17 Feb 2010 18:56:34 +0100	hoelzl	Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration.	file \| diff \| annotate
Wed, 17 Feb 2010 18:33:45 +0100	himmelma	Added integration to Multivariate-Analysis (upto FTC)	file \| diff \| annotate

isabelle