diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-07-21 13:47:30 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-07-21 13:47:30 -0700 |
| commit | d38660974a1fd289770b70024ca4cc9f2e60bdfc (patch) | |
| tree | 9cff17081d1e1e6a8557114fb5f896cdeea0e126 /Test/dafny0/Array.dfy | |
| parent | fb0960efe49ccb771ffee57e2cfaccdac6db4e04 (diff) | |
Dafny: call previous lemma instead of restating it
Diffstat (limited to 'Test/dafny0/Array.dfy')
0 files changed, 0 insertions, 0 deletions