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