src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Sat Feb 15 18:24:05 1997 +0100
+++ b/src/HOLCF/HOLCF.thy	Mon Feb 17 10:57:11 1997 +0100
@@ -8,9 +8,5 @@
 
 *)
 
-HOLCF = Lift3 +
+HOLCF = One + Tr
 
-default pcpo
-
-end
-