equal
deleted
inserted
replaced
307 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
307 - Renamed "slicing" ("no_slicing") option to "slice" ("dont_slice"). |
308 - Renamed "sound" option to "strict". |
308 - Renamed "sound" option to "strict". |
309 |
309 |
310 * Metis: |
310 * Metis: |
311 - Added possibility to specify lambda translations scheme as a |
311 - Added possibility to specify lambda translations scheme as a |
312 parenthesized argument (e.g., "by (metis (lam_lifting) ...)"). |
312 parenthesized argument (e.g., "by (metis (lifting) ...)"). |
313 |
313 |
314 |
314 |
315 *** FOL *** |
315 *** FOL *** |
316 |
316 |
317 * New "case_product" attribute (see HOL). |
317 * New "case_product" attribute (see HOL). |