# HG changeset patch
# User paulson
# Date 933150488 -7200
# Node ID ab79d9fa8d8ec1b734f29d3b10d213f81c1357ba
# Parent  b142788d79e8f6feabcc5e7c0e74331a07efaeaf
LK

diff -r b142788d79e8 -r ab79d9fa8d8e NEWS
--- 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