--- a/src/HOLCF/ex/Stream.thy Tue Nov 04 14:37:51 1997 +0100
+++ b/src/HOLCF/ex/Stream.thy Tue Nov 04 14:40:29 1997 +0100
@@ -8,7 +8,7 @@
Stream = HOLCF +
-domain 'a stream = "&&" (ft::'a) (lazy rt::'a stream) (cinfixr 65)
+domain 'a stream = "&&" (ft::'a) (lazy rt::'a stream) (infixr 65)
end