diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 20:42:01 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 20:42:01 -0800 |
| commit | 772b311455896739adbba462fdcc9a530eb69711 (patch) | |
| tree | 036aa7f1e963c428ff89cef7c205fac8ade550b4 /Test/dafny0/CoinductiveProofs.dfy | |
| parent | 472f3de939e7b5d652a0d7b478a3edc1fec17a99 (diff) | |
Create prefix methods during resolution, not translation.
NOTE: The test suite does not pass right now. Will be fixed soon.
Diffstat (limited to 'Test/dafny0/CoinductiveProofs.dfy')
0 files changed, 0 insertions, 0 deletions