# HG changeset patch
# User wenzelm
# Date 1003937878 -7200
# Node ID 2a0e9622dc513142ccd1946306bbb4fd8c747ae4
# Parent  6833cadb4062e0b6c7cbaa071f4b8fac38cf8c40
* clasimp: ``iff'' declarations now handle conditional rules as well;

diff -r 6833cadb4062 -r 2a0e9622dc51 NEWS
--- 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