src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author himmelma
Wed Feb 17 18:33:45 2010 +0100 (2010-02-17)
changeset 35172 579dd5570f96
parent 33741 4c414d0835ab
child 35173 9b24bfca8044
permissions -rw-r--r--
Added integration to Multivariate-Analysis (upto FTC)
wenzelm@33267
     1
theory Multivariate_Analysis
himmelma@35172
     2
imports Determinants Integration
himmelma@33175
     3
begin
himmelma@33175
     4
himmelma@33175
     5
end