src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author hoelzl
Wed Feb 17 18:56:34 2010 +0100 (2010-02-17)
changeset 35173 9b24bfca8044
parent 35172 579dd5570f96
child 35292 e4a431b6d9b7
permissions -rw-r--r--
Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration.
wenzelm@33267
     1
theory Multivariate_Analysis
hoelzl@35173
     2
imports Determinants Integration_MV
himmelma@33175
     3
begin
himmelma@33175
     4
himmelma@33175
     5
end