src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author hoelzl
Mon Feb 22 20:41:49 2010 +0100 (2010-02-22)
changeset 35292 e4a431b6d9b7
parent 35173 9b24bfca8044
child 36432 1ad1cfeaec2d
permissions -rw-r--r--
Replaced Integration by Multivariate-Analysis/Real_Integration
     1 theory Multivariate_Analysis
     2 imports Determinants Integration Real_Integration
     3 begin
     4 
     5 end