author  clasohm 
Mon, 05 Feb 1996 14:44:09 +0100  
changeset 1474  3f7d67927fe2 
parent 290  37d580c16af5 
child 17456  bcf7544875b2 
permissions  rwrr 
1474  1 
(* Title: CCL/ex/stream.thy 
0  2 
ID: $Id$ 
1474  3 
Author: Martin Coen, Cambridge University Computer Laboratory 
0  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 