diff options
| author |  Rustan Leino <unknown> | 2014-02-24 23:20:27 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-24 23:20:27 -0800 |
| commit | f8f1e54a403e5b52bfc33fb43287b273e357488e (patch) | |
| tree | 58218c4eed08c778e7120e2da4614e627eb6af38 /Test/dafny0/NatTypes.dfy | |
| parent | bff0f7ce129ae5ace17b599069bdd19ebbfb9458 (diff) | |
Added further assistance in coming up with decreases clauses in SCCs with co-recursive calls.
Diffstat (limited to 'Test/dafny0/NatTypes.dfy')
0 files changed, 0 insertions, 0 deletions