# HG changeset patch
# User haftmann
# Date 1313557993 -7200
# Node ID d58864221eef68c13622f9d77aabb8494353724c
# Parent  a5cb6aa77ffc0a1b283b779ae544dc77ac5131cc# Parent  7e3a026f014f9ffee882a05359ea1608179e2f8d
merged

diff -r a5cb6aa77ffc -r d58864221eef src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
--- 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
diff -r a5cb6aa77ffc -r d58864221eef src/HOL/Multivariate_Analysis/ROOT.ML
--- 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"];