# HG changeset patch
# User oheimb
# Date 1081767128 -7200
# Node ID 43e436a4f2930a2ebe51da694f2921591acb87eb
# Parent  7cb26928e70d0d678707bf6b62b991e30bc70271
added HOLCF/Streams.thy (with concatenation etc.)

diff -r 7cb26928e70d -r 43e436a4f293 NEWS
--- a/NEWS	Mon Apr 12 12:18:48 2004 +0200
+++ b/NEWS	Mon Apr 12 12:52:08 2004 +0200
@@ -159,6 +159,10 @@
   highly recommended.  See "HOL/Refute.thy" for details.
 
 
+*** HOLCF ***
+
+* Streams now come with concatenation and are part of the HOLCF image
+
 New in Isabelle2003 (May 2003)
 --------------------------------