equal
deleted
inserted
replaced
11 possible. Type inference is more canonical than it used to be. |
11 possible. Type inference is more canonical than it used to be. |
12 INCOMPATIBILITY: in some cases explicit type annotations are required. |
12 INCOMPATIBILITY: in some cases explicit type annotations are required. |
13 |
13 |
14 |
14 |
15 *** HOL *** |
15 *** HOL *** |
|
16 |
|
17 * Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}. |
16 |
18 |
17 * Constant "card" now with authentic syntax. |
19 * Constant "card" now with authentic syntax. |
18 |
20 |
19 |
21 |
20 |
22 |