--- a/NEWS Mon Feb 17 17:24:24 1997 +0100
+++ b/NEWS Mon Feb 17 17:55:45 1997 +0100
@@ -2,8 +2,9 @@
Isabelle NEWS -- history of user-visible changes
================================================
-New in Isabelle94-8 (??????????? 1997 FIXME)
----------------------------------------
+New in Isabelle94-8 (really-soon-now 1997 FIXME)
+------------------------------------------------
+
* HOLCF changes: derived all rules and arities
+ axiomatic type classes instead of classes
+ typedef instead of faking type definitions
@@ -70,8 +71,6 @@
* the NEWS file;
-Changes in HOLCF:
-
New in Isabelle94-7 (November 96)
---------------------------------