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