equal
deleted
inserted
replaced
333 - Renamed "sound" option to "strict". |
333 - Renamed "sound" option to "strict". |
334 |
334 |
335 * Metis: |
335 * Metis: |
336 - Added possibility to specify lambda translations scheme as a |
336 - Added possibility to specify lambda translations scheme as a |
337 parenthesized argument (e.g., "by (metis (lifting) ...)"). |
337 parenthesized argument (e.g., "by (metis (lifting) ...)"). |
|
338 |
|
339 * Command 'try0': |
|
340 - Renamed from 'try_methods'. INCOMPATIBILITY. |
338 |
341 |
339 |
342 |
340 *** FOL *** |
343 *** FOL *** |
341 |
344 |
342 * New "case_product" attribute (see HOL). |
345 * New "case_product" attribute (see HOL). |