equal
deleted
inserted
replaced
312 |
312 |
313 * Auto Solve: Renamed "Auto Solve Direct". The tool is now available manually as |
313 * Auto Solve: Renamed "Auto Solve Direct". The tool is now available manually as |
314 "solve_direct". |
314 "solve_direct". |
315 |
315 |
316 * Sledgehammer: |
316 * Sledgehammer: |
|
317 - Added "smt" and "remote_smt" provers based on the "smt" proof method. See |
|
318 the Sledgehammer manual for details ("isabelle doc sledgehammer"). |
317 - Renamed lemmas: |
319 - Renamed lemmas: |
318 COMBI_def ~> Meson.COMBI_def |
320 COMBI_def ~> Meson.COMBI_def |
319 COMBK_def ~> Meson.COMBK_def |
321 COMBK_def ~> Meson.COMBK_def |
320 COMBB_def ~> Meson.COMBB_def |
322 COMBB_def ~> Meson.COMBB_def |
321 COMBC_def ~> Meson.COMBC_def |
323 COMBC_def ~> Meson.COMBC_def |