NEWS
changeset 14536 43e436a4f293
parent 14508 859b11514537
child 14547 e0c0179100c9
     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