*** empty log message ***
authorwenzelm
Mon Feb 17 17:55:45 1997 +0100 (1997-02-17)
changeset 26546efa602921d1
parent 2653 f1a6997cdc06
child 2655 9420efbb868e
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Mon Feb 17 17:24:24 1997 +0100
     1.2 +++ b/NEWS	Mon Feb 17 17:55:45 1997 +0100
     1.3 @@ -2,8 +2,9 @@
     1.4  Isabelle NEWS -- history of user-visible changes
     1.5  ================================================
     1.6  
     1.7 -New in Isabelle94-8 (??????????? 1997 FIXME)
     1.8 ----------------------------------------
     1.9 +New in Isabelle94-8 (really-soon-now 1997 FIXME)
    1.10 +------------------------------------------------
    1.11 +
    1.12  * HOLCF changes: derived all rules and arities 
    1.13    + axiomatic type classes instead of classes 
    1.14    + typedef instead of faking type definitions
    1.15 @@ -70,8 +71,6 @@
    1.16  
    1.17  * the NEWS file;
    1.18  
    1.19 -Changes in HOLCF:
    1.20 -
    1.21  
    1.22  New in Isabelle94-7 (November 96)
    1.23  ---------------------------------