src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
2010-02-17 hoelzl 2010-02-17 Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration.
2010-02-17 himmelma 2010-02-17 Added integration to Multivariate-Analysis (upto FTC)
2009-11-17 hoelzl 2009-11-17 Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light)
2009-10-28 wenzelm 2009-10-28 tuned initial session setup;
2009-10-23 himmelma 2009-10-23 distinguished session for multivariate analysis