diff options
author | 2011-03-26 08:54:54 +0000 | |
---|---|---|
committer | 2011-03-26 08:54:54 +0000 | |
commit | d06300cc9bc9f9c7002fb8e555cf172053cdfa5c (patch) | |
tree | 6c19f930d2b568d7d5128b0642e9d823f6014d6b /Test/dafny1/UnboundedStack.dfy | |
parent | bd9003ec46d72f74c3284a63713336da630769ff (diff) |
Dafny: added "choose" operator on sets
Diffstat (limited to 'Test/dafny1/UnboundedStack.dfy')
0 files changed, 0 insertions, 0 deletions