added HOLCF/Streams.thy (with concatenation etc.)
authoroheimb
Mon Apr 12 12:52:08 2004 +0200 (2004-04-12)
changeset 1453643e436a4f293
parent 14535 7cb26928e70d
child 14537 e95ba267e3d5
added HOLCF/Streams.thy (with concatenation etc.)
NEWS
     1.1 --- a/NEWS	Mon Apr 12 12:18:48 2004 +0200
     1.2 +++ b/NEWS	Mon Apr 12 12:52:08 2004 +0200
     1.3 @@ -159,6 +159,10 @@
     1.4    highly recommended.  See "HOL/Refute.thy" for details.
     1.5  
     1.6  
     1.7 +*** HOLCF ***
     1.8 +
     1.9 +* Streams now come with concatenation and are part of the HOLCF image
    1.10 +
    1.11  New in Isabelle2003 (May 2003)
    1.12  --------------------------------
    1.13