1.1 --- a/NEWS	Tue Jul 27 22:34:11 1999 +0200
     1.2 +++ b/NEWS	Wed Jul 28 10:28:08 1999 +0200
     1.3 @@ -135,6 +135,17 @@
     1.4  ALL/EX rather than !/?;
     1.5  
     1.6  
     1.7 +*** LK ***
     1.8 +
     1.9 +* the notation <<...>> is now available as a notation for sequences of formulas
    1.10 +
    1.11 +* the simplifier is now installed
    1.12 +
    1.13 +* the axiom system has been generalized (thanks to Soren Heilmann) 
    1.14 +
    1.15 +* the classical reasoner now has a default rule database
    1.16 +
    1.17 +
    1.18  *** ZF ***
    1.19  
    1.20  * new primrec section allows primitive recursive functions to be given