diff options
| author |  Rustan Leino <unknown> | 2014-03-20 15:49:02 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-03-20 15:49:02 -0700 |
| commit | 643f5f55677d454c95286654594504ef2c66fe8f (patch) | |
| tree | bef8e8dba3438399541535d6b3c7e5bd9be37673 /Test/dafny2/Intervals.dfy | |
| parent | 912adaa06621d89a47460d6a6befd8809ded5c85 (diff) | |
Added axiom to transfer array element-type information onto the elements themselves.
Other serendipitous axiom improvements.
Diffstat (limited to 'Test/dafny2/Intervals.dfy')
0 files changed, 0 insertions, 0 deletions