--- a/NEWS Fri Jan 24 18:36:30 1997 +0100
+++ b/NEWS Mon Jan 27 09:08:54 1997 +0100
@@ -6,7 +6,7 @@
New in Isabelle94-8 (??????????? 1997 FIXME)
---------------------------------------
-* the NEWS file;
+* HOL: primrec now also works with type nat;
* new utilities to build / run / maintain Isabelle etc. (in parts
still somewhat experimental); old Makefiles etc. still functional;
@@ -42,6 +42,7 @@
* more default rewrite rules in HOL for quantifiers, union/intersection;
+* the NEWS file;
New in Isabelle94-7 (November 96)