tuned imports;

--- a/src/HOL/Library/Continuity.thy	Thu Feb 16 22:53:24 2012 +0100
+++ b/src/HOL/Library/Continuity.thy	Thu Feb 16 22:53:56 2012 +0100
@@ -5,7 +5,7 @@
 header {* Continuity and iterations (of set transformers) *}
 
 theory Continuity
-imports Transitive_Closure Main
+imports Main
 begin
 
 subsection {* Continuity for complete lattices *}