--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue Aug 16 19:47:50 2011 +0200
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Wed Aug 17 07:13:13 2011 +0200
@@ -1,5 +1,5 @@
theory Multivariate_Analysis
-imports Fashoda Extended_Real_Limits Determinants
+imports Fashoda Extended_Real_Limits
begin
end
--- a/src/HOL/Multivariate_Analysis/ROOT.ML Tue Aug 16 19:47:50 2011 +0200
+++ b/src/HOL/Multivariate_Analysis/ROOT.ML Wed Aug 17 07:13:13 2011 +0200
@@ -1,1 +1,1 @@
-use_thys ["Multivariate_Analysis"];
+use_thys ["Multivariate_Analysis", "Determinants"];