diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-02-16 16:49:34 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-02-16 16:49:34 -0800 |
| commit | 35e2020655eea10acdb902f4320952e281f28967 (patch) | |
| tree | cb3b771832e49b1b59505344cc2542f4bbf16d28 /Test/dafny0/Modules1.dfy | |
| parent | e27219dff3dcf9f0307ebcb81fa8f94cf6156e7b (diff) | |
Dafny: allow signatures to be omitted on refining functions/methods
Diffstat (limited to 'Test/dafny0/Modules1.dfy')
0 files changed, 0 insertions, 0 deletions