--- a/src/HOLCF/stream2.thy Thu Mar 24 13:25:12 1994 +0100 +++ b/src/HOLCF/stream2.thy Thu Mar 24 13:36:34 1994 +0100 @@ -19,7 +19,7 @@ end - + (* smap[f][UU] = UU