src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
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.
less more (0) -2 tip