diff options
| author |  Rustan Leino <unknown> | 2014-01-09 09:54:57 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-09 09:54:57 -0800 |
| commit | 391f7a7c40bc96d3d0542a8127eb20b88de46eee (patch) | |
| tree | a81b533ef581da17591d5526081de42d3fca1412 /Test/dafny0/Coinductive.dfy | |
| parent | 5fcfcbe96910e4205e9777ca28405e4f48e0f120 (diff) | |
GHC-MergeSort: removed lemmas and proof steps rendered unnecessary now that axioms for functions with match'es are no longer specialized
Diffstat (limited to 'Test/dafny0/Coinductive.dfy')
0 files changed, 0 insertions, 0 deletions