* clasimp: ``iff'' declarations now handle conditional rules as well;

--- a/NEWS	Wed Oct 24 17:31:58 2001 +0200
+++ b/NEWS	Wed Oct 24 17:37:58 2001 +0200
@@ -142,8 +142,9 @@
 * kernel: meta-level proof terms (by Stefan Berghofer), see also ref
 manual;
 
-* classical reasoner: renamed addaltern to addafter, addSaltern to
-addSafter;
+* classical: renamed addaltern to addafter, addSaltern to addSafter;
+
+* clasimp: ``iff'' declarations now handle conditional rules as well;
 
 * syntax: new token syntax "num" for plain numerals (without "#" of
 "xnum"); potential INCOMPATIBILITY, since -0, -1 etc. are now separate