src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Wed Nov 10 09:59:08 2010 -0800
+++ b/src/HOLCF/HOLCF.thy	Wed Nov 10 11:42:35 2010 -0800
@@ -11,7 +11,7 @@
   Powerdomains
 begin
 
-default_sort bifinite
+default_sort "domain"
 
 ML {* path_add "~~/src/HOLCF/Library" *}