author | clasohm |
Mon, 05 Feb 1996 14:44:09 +0100 | |
changeset 1474 | 3f7d67927fe2 |
parent 290 | 37d580c16af5 |
child 17456 | bcf7544875b2 |
permissions | -rw-r--r-- |
(* 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