changeset 46888 | 9a95da60ca54 |
parent 46834 | a5fa1dc55945 |
child 46903 | 3d44892ac0d6 |
--- a/NEWS Mon Mar 12 21:34:43 2012 +0100 +++ b/NEWS Mon Mar 12 21:34:45 2012 +0100 @@ -355,6 +355,9 @@ * Command 'try0': - Renamed from 'try_methods'. INCOMPATIBILITY. +* New "eventually_elim" method as a generalized variant of the + eventually_elim* rules. Supports structured proofs. + *** FOL ***