--- a/src/HOLCF/Cont.thy Fri Mar 04 23:12:36 2005 +0100
+++ b/src/HOLCF/Cont.thy Fri Mar 04 23:23:47 2005 +0100
@@ -6,7 +6,11 @@
Results about continuity and monotonicity
*)
-theory Cont = FunCpo:
+header {* Continuity and monotonicity *}
+
+theory Cont
+imports FunCpo
+begin
(*