src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
Tue, 16 Aug 2011 13:07:52 -0700 huffman Multivariate_Analysis includes Determinants.thy, but doesn't import it by default
Tue, 16 Aug 2011 07:56:17 -0700 huffman get Multivariate_Analysis/Determinants.thy compiled and working again
Mon, 14 Mar 2011 14:37:47 +0100 hoelzl split Extended_Reals into parts for Library and Multivariate_Analysis
Tue, 18 Jan 2011 21:37:23 +0100 hoelzl Gauge measure removed
Mon, 23 Aug 2010 19:35:57 +0200 hoelzl Rewrite the Probability theory.
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.
Mon, 26 Apr 2010 15:22:03 -0700 huffman move proof of Fashoda meet theorem into separate file
Mon, 22 Feb 2010 20:41:49 +0100 hoelzl Replaced Integration by Multivariate-Analysis/Real_Integration
Wed, 17 Feb 2010 18:56:34 +0100 hoelzl Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration.
Wed, 17 Feb 2010 18:33:45 +0100 himmelma Added integration to Multivariate-Analysis (upto FTC)
Tue, 17 Nov 2009 18:52:30 +0100 hoelzl Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light)
Wed, 28 Oct 2009 00:23:39 +0100 wenzelm tuned initial session setup;
Fri, 23 Oct 2009 13:23:18 +0200 himmelma distinguished session for multivariate analysis
less more (0) tip