changeset 290 | 37d580c16af5 |
parent 0 | a5a9c433f639 |
child 1474 | 3f7d67927fe2 |
--- a/src/CCL/ex/Stream.thy Tue Mar 22 12:42:56 1994 +0100 +++ b/src/CCL/ex/Stream.thy Tue Mar 22 12:43:51 1994 +0100 @@ -14,7 +14,7 @@ rules - iter1_def "iter1(f,a) == letrec iter x be x.iter(f(x)) in iter(a)" - iter2_def "iter2(f,a) == letrec iter x be x.map(f,iter(x)) in iter(a)" + iter1_def "iter1(f,a) == letrec iter x be x$iter(f(x)) in iter(a)" + iter2_def "iter2(f,a) == letrec iter x be x$map(f,iter(x)) in iter(a)" end