diff options
| author |  Jason Koenig <unknown> | 2011-07-14 15:58:35 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-07-14 15:58:35 -0700 |
| commit | dd37b19e4afcb2d9475894d48c48e6a8308ec0a0 (patch) | |
| tree | d3e70469e598e78e8db7ee9b3b9505c583f7f2b5 /Binaries/UnivBackPred2.sx | |
| parent | 4f59d1c9a4087f4c9ee43151ed66fc547f863523 (diff) | |
Strengthened axioms for multisets and sequences.
Diffstat (limited to 'Binaries/UnivBackPred2.sx')
0 files changed, 0 insertions, 0 deletions