src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Mon Dec 09 19:13:13 1996 +0100
+++ b/src/HOLCF/HOLCF.thy	Mon Dec 09 19:16:20 1996 +0100
@@ -8,5 +8,9 @@
 
 *)
 
-HOLCF = Tr2
+HOLCF = Lift3 +
 
+default pcpo
+
+end
+