# HG changeset patch
# User hoelzl
# Date 1358420988 -3600
# Node ID 5b193d3dd6b656a20c3d876ed160fc33236d4c49
# Parent  d249ef928ae10bd88091f0c31632746e06ae5484
tuned

diff -r d249ef928ae1 -r 5b193d3dd6b6 src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy
--- a/src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy	Thu Jan 17 12:09:21 2013 +0100
+++ b/src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy	Thu Jan 17 12:09:48 2013 +0100
@@ -8,12 +8,12 @@
 
 theory Topology_Euclidean_Space
 imports
-  SEQ
+  Complex_Main
   "~~/src/HOL/Library/Diagonal_Subsequence"
   "~~/src/HOL/Library/Countable_Set"
-  Linear_Algebra
   "~~/src/HOL/Library/Glbs"
   "~~/src/HOL/Library/FuncSet"
+  Linear_Algebra
   Norm_Arith
 begin