tuned imports;
authorwenzelm
Thu Feb 16 22:53:56 2012 +0100 (2012-02-16)
changeset 46508ec9630fe9ca7
parent 46507 1b24c24017dd
child 46509 c4b2ec379fdd
tuned imports;
src/HOL/Library/Continuity.thy
     1.1 --- a/src/HOL/Library/Continuity.thy	Thu Feb 16 22:53:24 2012 +0100
     1.2 +++ b/src/HOL/Library/Continuity.thy	Thu Feb 16 22:53:56 2012 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Continuity and iterations (of set transformers) *}
     1.5  
     1.6  theory Continuity
     1.7 -imports Transitive_Closure Main
     1.8 +imports Main
     1.9  begin
    1.10  
    1.11  subsection {* Continuity for complete lattices *}