diff options
| author |  Jason Koenig <unknown> | 2012-07-29 12:24:02 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-29 12:24:02 -0700 |
| commit | 310521db71e18305b04f6a32ab753c87e30bfa19 (patch) | |
| tree | 7ccc36b76d4ee7a6fa259bc9853fecb5ec3cf1ad /Test/dafny1 | |
| parent | 8a744c1edfbe715f3b19e9053646b0a6f812196f (diff) | |
Dafny: added structural refinement check
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions