src/CCL/ex/Stream.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/CCL/ex/Stream.thy	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,20 @@
+(*  Title: 	CCL/ex/stream.thy
+    ID:         $Id$
+    Author: 	Martin Coen, Cambridge University Computer Laboratory
+    Copyright   1993  University of Cambridge
+
+Programs defined over streams.
+*)
+
+Stream = List + 
+
+consts
+
+  iter1,iter2   ::  "[i=>i,i]=>i"
+
+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)"
+
+end