--- a/src/HOLCF/HOLCF.thy Fri Mar 04 18:53:46 2005 +0100
+++ b/src/HOLCF/HOLCF.thy Fri Mar 04 23:12:36 2005 +0100
@@ -5,4 +5,4 @@
Top theory for HOLCF system.
*)
-HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr
+HOLCF = Sprod + Ssum + Up + Lift + Discrete + One + Tr