LK

--- a/NEWS	Tue Jul 27 22:34:11 1999 +0200
+++ b/NEWS	Wed Jul 28 10:28:08 1999 +0200
@@ -135,6 +135,17 @@
 ALL/EX rather than !/?;
 
 
+*** LK ***
+
+* the notation <<...>> is now available as a notation for sequences of formulas
+
+* the simplifier is now installed
+
+* the axiom system has been generalized (thanks to Soren Heilmann) 
+
+* the classical reasoner now has a default rule database
+
+
 *** ZF ***
 
 * new primrec section allows primitive recursive functions to be given