NEWS
changeset 16563 a92f96951355
parent 16547 09f7a953d2d6
child 16662 0836569a8ffc
     1.1 --- a/NEWS	Fri Jun 24 16:21:01 2005 +0200
     1.2 +++ b/NEWS	Fri Jun 24 17:25:10 2005 +0200
     1.3 @@ -342,6 +342,8 @@
     1.4  enabled/disabled by the reference use_let_simproc.  Potential
     1.5  INCOMPATIBILITY since simplification is more powerful by default.
     1.6  
     1.7 +* Classical reasoning: the meson method now accepts theorems as arguments.
     1.8 +
     1.9  
    1.10  *** HOLCF ***
    1.11