--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Fri Jan 14 16:00:13 2011 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue Jan 18 21:37:23 2011 +0100
@@ -1,5 +1,5 @@
theory Multivariate_Analysis
-imports Fashoda Gauge_Measure
+imports Fashoda
begin
end