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