src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Sat Oct 30 12:25:18 2010 -0700
+++ b/src/HOLCF/HOLCF.thy	Sat Oct 30 15:13:11 2010 -0700
@@ -11,7 +11,7 @@
   Powerdomains
 begin
 
-default_sort pcpo
+default_sort bifinite
 
 ML {* path_add "~~/src/HOLCF/Library" *}