author | wenzelm |
Thu, 16 Feb 2012 22:53:56 +0100 | |
changeset 46508 | ec9630fe9ca7 |
parent 46507 | 1b24c24017dd |
child 46509 | c4b2ec379fdd |
--- 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 *}