
diff -r 579dd5570f96 -r 9b24bfca8044 src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Feb 17 18:33:45 2010 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Feb 17 18:56:34 2010 +0100
@@ -1,5 +1,5 @@
 theory Multivariate_Analysis
-imports Determinants Integration
+imports Determinants Integration_MV
 begin
 
 end




