NEWS
changeset 68938 a0b19a163f5e
parent 68883 3653b3ad729e
child 69037 8d8fdbc02912
equal deleted inserted replaced
68937:cbf5475a0f66 68938:a0b19a163f5e
    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