changeset 46366 | 2ded91a6cbd5 |
parent 46363 | 025db495b40e |
child 46373 | d4afc4226688 |
--- a/NEWS Mon Jan 30 17:15:59 2012 +0100 +++ b/NEWS Mon Jan 30 17:15:59 2012 +0100 @@ -309,7 +309,7 @@ * Metis: - Added possibility to specify lambda translations scheme as a - parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). + parenthesized argument (e.g., "by (metis (lifting) ...)"). *** FOL ***