--- a/src/HOLCF/Cont.thy Fri Mar 04 18:53:46 2005 +0100 +++ b/src/HOLCF/Cont.thy Fri Mar 04 23:12:36 2005 +0100 @@ -6,7 +6,7 @@ Results about continuity and monotonicity *) -theory Cont = Fun3: +theory Cont = FunCpo: (*