author  clasohm 
Thu, 16 Sep 1993 12:20:38 +0200  
changeset 0  a5a9c433f639 
child 290  37d580c16af5 
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 

17 
iter1_def "iter1(f,a) == letrec iter x be x.iter(f(x)) in iter(a)" 

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

19 

20 
end 