changeset 1474 | 3f7d67927fe2 |
parent 290 | 37d580c16af5 |
child 17456 | bcf7544875b2 |
--- a/src/CCL/ex/Stream.thy Mon Feb 05 13:44:28 1996 +0100 +++ b/src/CCL/ex/Stream.thy Mon Feb 05 14:44:09 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: CCL/ex/stream.thy +(* Title: CCL/ex/stream.thy ID: $Id$ - Author: Martin Coen, Cambridge University Computer Laboratory + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge Programs defined over streams.