# HG changeset patch
# User wenzelm
# Date 854352534 -3600
# Node ID bef8e1315cbc0b3dfe1d0af92b8474be4fe2c6df
# Parent  29b27a74c7d87231a2b60f92aecc932c6c52091f
*** empty log message ***

diff -r 29b27a74c7d8 -r bef8e1315cbc NEWS
--- 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)