equal
deleted
inserted
replaced
273 affecting 'rat' and 'real'. |
273 affecting 'rat' and 'real'. |
274 |
274 |
275 * Sledgehammer: |
275 * Sledgehammer: |
276 - Added "lam_trans" and "minimize" options. |
276 - Added "lam_trans" and "minimize" options. |
277 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
277 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
|
278 - Renamed "sound" option to "strict". |
278 |
279 |
279 * Metis: |
280 * Metis: |
280 - Added possibility to specify lambda translations scheme as a |
281 - Added possibility to specify lambda translations scheme as a |
281 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
282 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
282 |
283 |