--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Mon Mar 14 14:37:46 2011 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Mon Mar 14 14:37:47 2011 +0100
@@ -1,5 +1,5 @@
theory Multivariate_Analysis
-imports Fashoda
+imports Fashoda Extended_Real_Limits
begin
end