src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author himmelma
Fri Oct 23 13:23:18 2009 +0200 (2009-10-23)
changeset 33175 2083bde13ce1
child 33267 8fb01a2f9406
permissions -rw-r--r--
distinguished session for multivariate analysis
himmelma@33175
     1
theory Multivariate_Analysis imports
himmelma@33175
     2
	Convex_Euclidean_Space
himmelma@33175
     3
	Determinants
himmelma@33175
     4
begin
himmelma@33175
     5
himmelma@33175
     6
end