author  clasohm 
Tue, 22 Mar 1994 12:43:51 +0100  
changeset 290  37d580c16af5 
parent 0  a5a9c433f639 
child 1474  3f7d67927fe2 
permissions  rwrr 
0  1 
(* Title: CCL/ex/stream.thy 
2 
ID: $Id$ 

3 
Author: Martin Coen, Cambridge University Computer Laboratory 

4 
Copyright 1993 University of Cambridge 

5 

6 
Programs defined over streams. 

7 
*) 

8 

9 
Stream = List + 

10 

11 
consts 

12 

13 
iter1,iter2 :: "[i=>i,i]=>i" 

14 

15 
rules 

16 

290
37d580c16af5
changed "." to "$" and added parentheses to eliminate ambiguity
clasohm
parents:
0
diff
changeset

17 
iter1_def "iter1(f,a) == letrec iter x be x$iter(f(x)) in iter(a)" 
37d580c16af5
changed "." to "$" and added parentheses to eliminate ambiguity
clasohm
parents:
0
diff
changeset

18 
iter2_def "iter2(f,a) == letrec iter x be x$map(f,iter(x)) in iter(a)" 
0  19 

20 
end 