NEWS

--- a/NEWS	Wed Apr 09 15:26:32 1997 +0200
+++ b/NEWS	Wed Apr 09 15:56:53 1997 +0200
@@ -35,7 +35,7 @@
 permutes other assumptions.
 
 * classical reasoner: minor changes in semantics of addafter (now called
-addaltern); renamed setwrapper to setWrapper and addwrapper to addWrapper;
+addaltern); renamed setwrapper to setWrapper and compwrapper to compWrapper;
 added safe wrapper (and access functions for it)
 
 * improved combination of classical reasoner and simplifier: new