src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy
changeset 50938 5b193d3dd6b6
parent 50937 d249ef928ae1
child 50939 ae7cd20ed118
     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