--- a/src/HOLCF/Up.thy Sun Feb 19 01:40:13 2006 +0100 +++ b/src/HOLCF/Up.thy Sun Feb 19 02:11:27 2006 +0100 @@ -8,7 +8,7 @@ header {* The type of lifted values *} theory Up -imports Cfun Sum_Type Datatype +imports Cfun begin defaultsort cpo