--- a/src/HOLCF/HOLCF.thy Sun May 25 16:59:40 1997 +0200 +++ b/src/HOLCF/HOLCF.thy Sun May 25 18:45:25 1997 +0200 @@ -8,4 +8,4 @@ *) -HOLCF = Discrete + One + Tr +HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr