diff options
| author |  Rustan Leino <unknown> | 2013-07-16 19:11:31 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-07-16 19:11:31 -0700 |
| commit | 8b69f963879696d40da0a1b845988e17fe9d29d2 (patch) | |
| tree | 0638858c44528d9e14ff0b4d4d9db34c0fbbdb72 /Source/DafnyMenu | |
| parent | b0bb7bf96406d8695d5ec2377d9ce2b2acba44f0 (diff) | |
Axioms that relate (multi)set cardinality with (multi)set difference.
Removed three redundant multiset axioms.
Diffstat (limited to 'Source/DafnyMenu')
0 files changed, 0 insertions, 0 deletions