equal
deleted
inserted
replaced
52 |
52 |
53 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
53 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
54 resemble the f.split naming convention, INCOMPATIBILITY. |
54 resemble the f.split naming convention, INCOMPATIBILITY. |
55 |
55 |
56 * Multiset membership is now expressed using set_mset rather than count. |
56 * Multiset membership is now expressed using set_mset rather than count. |
57 ASCII infix syntax ":#" has been discontinued. |
|
58 |
57 |
59 - Expressions "count M a > 0" and similar simplify to membership |
58 - Expressions "count M a > 0" and similar simplify to membership |
60 by default. |
59 by default. |
61 |
60 |
62 - Converting between "count M a = 0" and non-membership happens using |
61 - Converting between "count M a = 0" and non-membership happens using |