diff options
| author |  rustanleino <unknown> | 2011-02-03 18:17:08 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-03 18:17:08 +0000 |
| commit | b8b0627fcb22c5637829e564ea2f42f44d4b8097 (patch) | |
| tree | a4679069d1bda862d9f737740d9eb0aaa8eacdde /Test/dafny1/Substitution.dfy | |
| parent | b80c92bd5549e6c789764758dd90f0f74928d39a (diff) | |
Dafny: implemented a more precise scheme for allowing use of a function's rep axiom
Diffstat (limited to 'Test/dafny1/Substitution.dfy')
0 files changed, 0 insertions, 0 deletions