diff options
author | 2013-07-16 17:22:18 -0700 | |
---|---|---|
committer | 2013-07-16 17:22:18 -0700 | |
commit | b0bb7bf96406d8695d5ec2377d9ce2b2acba44f0 (patch) | |
tree | 6d1b5d1f3c79968ce8bc8900337804c849905212 /Binaries/DafnyPrelude.bpl | |
parent | 5e7d25359f1bd5425d5400019bfe08bcc87fb30f (diff) |
Syntactic improvements in two tests.
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions