equal
deleted
inserted
replaced
273 meson_disj_assoc ~> Meson.disj_assoc |
273 meson_disj_assoc ~> Meson.disj_assoc |
274 meson_disj_comm ~> Meson.disj_comm |
274 meson_disj_comm ~> Meson.disj_comm |
275 meson_disj_FalseD1 ~> Meson.disj_FalseD1 |
275 meson_disj_FalseD1 ~> Meson.disj_FalseD1 |
276 meson_disj_FalseD2 ~> Meson.disj_FalseD2 |
276 meson_disj_FalseD2 ~> Meson.disj_FalseD2 |
277 INCOMPATIBILITY. |
277 INCOMPATIBILITY. |
|
278 |
|
279 * Auto Solve: Renamed "Auto Solve Direct". The tool is now available manually as |
|
280 "solve_direct". |
278 |
281 |
279 * Sledgehammer: |
282 * Sledgehammer: |
280 - Renamed lemmas: |
283 - Renamed lemmas: |
281 COMBI_def ~> Meson.COMBI_def |
284 COMBI_def ~> Meson.COMBI_def |
282 COMBK_def ~> Meson.COMBK_def |
285 COMBK_def ~> Meson.COMBK_def |