* clasimp: ``iff'' declarations now handle conditional rules as well;
authorwenzelm
Wed Oct 24 17:37:58 2001 +0200 (2001-10-24)
changeset 119212a0e9622dc51
parent 11920 6833cadb4062
child 11922 78857e6107cb
* clasimp: ``iff'' declarations now handle conditional rules as well;
NEWS
     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