*** empty log message ***
authorwenzelm
Mon Jan 27 09:08:54 1997 +0100 (1997-01-27)
changeset 2556bef8e1315cbc
parent 2555 29b27a74c7d8
child 2557 dffebc6ab0a1
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Fri Jan 24 18:36:30 1997 +0100
     1.2 +++ b/NEWS	Mon Jan 27 09:08:54 1997 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  New in Isabelle94-8 (??????????? 1997 FIXME)
     1.5  ---------------------------------------
     1.6  
     1.7 -* the NEWS file;
     1.8 +* HOL: primrec now also works with type nat;
     1.9  
    1.10  * new utilities to build / run / maintain Isabelle etc. (in parts
    1.11  still somewhat experimental); old Makefiles etc. still functional;
    1.12 @@ -42,6 +42,7 @@
    1.13  
    1.14  * more default rewrite rules in HOL for quantifiers, union/intersection;
    1.15  
    1.16 +* the NEWS file;
    1.17  
    1.18  
    1.19  New in Isabelle94-7 (November 96)