NEWS
changeset 11921 2a0e9622dc51
parent 11899 e543b0f01a58
child 11930 1accec985349
     1.1 --- a/NEWS	Wed Oct 24 17:31:58 2001 +0200
     1.2 +++ b/NEWS	Wed Oct 24 17:37:58 2001 +0200
     1.3 @@ -142,8 +142,9 @@
     1.4  * kernel: meta-level proof terms (by Stefan Berghofer), see also ref
     1.5  manual;
     1.6  
     1.7 -* classical reasoner: renamed addaltern to addafter, addSaltern to
     1.8 -addSafter;
     1.9 +* classical: renamed addaltern to addafter, addSaltern to addSafter;
    1.10 +
    1.11 +* clasimp: ``iff'' declarations now handle conditional rules as well;
    1.12  
    1.13  * syntax: new token syntax "num" for plain numerals (without "#" of
    1.14  "xnum"); potential INCOMPATIBILITY, since -0, -1 etc. are now separate