Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorhoelzl
Thu, 17 Jan 2013 12:09:48 +0100
changeset 50938 5b193d3dd6b6
parent 50937 d249ef928ae1
child 50939 ae7cd20ed118
tuned
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle