equal
deleted
inserted
replaced
28 SUPREMUM, UNION, INTER should now rarely occur in output and are just |
28 SUPREMUM, UNION, INTER should now rarely occur in output and are just |
29 retained as migration auxiliary. INCOMPATIBILITY. |
29 retained as migration auxiliary. INCOMPATIBILITY. |
30 |
30 |
31 * Sledgehammer: The URL for SystemOnTPTP, which is used by remote |
31 * Sledgehammer: The URL for SystemOnTPTP, which is used by remote |
32 provers, has been updated. |
32 provers, has been updated. |
|
33 |
|
34 * Facts sum_mset.commute and prod_mset.commute renamed to sum_mset.swap |
|
35 and prod_mset.swap, similarly to sum.swap and prod.swap. |
|
36 INCOMPATIBILITY. |
33 |
37 |
34 |
38 |
35 *** ML *** |
39 *** ML *** |
36 |
40 |
37 * Original PolyML.pointerEq is retained as a convenience for tools that |
41 * Original PolyML.pointerEq is retained as a convenience for tools that |