src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Wed Apr 28 11:41:27 2010 +0200
+++ b/src/HOLCF/HOLCF.thy	Wed Apr 28 12:07:52 2010 +0200
@@ -12,7 +12,7 @@
   Sum_Cpo
 begin
 
-defaultsort pcpo
+default_sort pcpo
 
 text {* Legacy theorem names *}