diff options
author | Rustan Leino <leino@microsoft.com> | 2011-05-19 17:29:04 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-05-19 17:29:04 -0700 |
commit | 8d353c7dca06d1121a3751efbb4a85721d81b2dd (patch) | |
tree | 8e012e0061ed05abdb1e4bde162c66b950fe8aab /Util | |
parent | 7992533629faca61ea8a3761b2ee21fd6f27ac18 (diff) |
Dafny: added alternative statement and alternative-loop statement
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions