diff options
author | 2011-05-27 01:19:41 -0700 | |
---|---|---|
committer | 2011-05-27 01:19:41 -0700 | |
commit | 9a714cafa2e4d6551f28c57187c28333cc155527 (patch) | |
tree | b5ff4040448ecd26ac8482e4dc1227781e38e296 /Test/dafny1/TerminationDemos.dfy | |
parent | e840f558d5079001d222a289c9a14ed82c9573c3 (diff) |
Dafny: retired "use" statements
Diffstat (limited to 'Test/dafny1/TerminationDemos.dfy')
0 files changed, 0 insertions, 0 deletions