changeset 1328 | 9a449a91425d |
parent 1051 | 4fcd0638e61d |
child 1376 | 92f83b9d17e1 |
1327:6c29cfab679c | 1328:9a449a91425d |
---|---|
5 |
5 |
6 Axiomatic multisets. |
6 Axiomatic multisets. |
7 Should be done as a subtype and moved to a global place. |
7 Should be done as a subtype and moved to a global place. |
8 *) |
8 *) |
9 |
9 |
10 Multiset = Arith + "Lemmas" + |
10 Multiset = Arith + Lemmas + |
11 |
11 |
12 types |
12 types |
13 |
13 |
14 'a multiset |
14 'a multiset |
15 |
15 |