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
less more (0) -10 -7 tip