# HG changeset patch
# User oheimb
# Date 860594213 -7200
# Node ID 56131a902972b7759911deddc4cda84e820e8d1d
# Parent  15c21c1ad71d9bd8adbd92c879f58b3d1d54df3b
replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'

diff -r 15c21c1ad71d -r 56131a902972 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