diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-01-22 23:13:27 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-01-22 23:13:27 -0800 |
| commit | 3934a2bf234377d26a199a3e7ae98c6eebf4a9ab (patch) | |
| tree | 611e820d0037c3c3b4f304a8028fa543b87b25a7 /Test/dafny3 | |
| parent | 5a0275bc5fe3f8450501ddaac8e464bf0b445804 (diff) | |
Translate let-such-that expressions
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions