1.1 --- a/src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy Thu Jan 17 12:09:21 2013 +0100
1.2 +++ b/src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy Thu Jan 17 12:09:48 2013 +0100
1.3 @@ -8,12 +8,12 @@
1.4
1.5 theory Topology_Euclidean_Space
1.6 imports
1.7 - SEQ
1.8 + Complex_Main
1.9 "~~/src/HOL/Library/Diagonal_Subsequence"
1.10 "~~/src/HOL/Library/Countable_Set"
1.11 - Linear_Algebra
1.12 "~~/src/HOL/Library/Glbs"
1.13 "~~/src/HOL/Library/FuncSet"
1.14 + Linear_Algebra
1.15 Norm_Arith
1.16 begin
1.17