# 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