diff options
| author |  leino <unknown> | 2014-08-26 11:27:39 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-26 11:27:39 -0700 |
| commit | cf01d66976ffd99f423b93949d0f80bba03fe5d7 (patch) | |
| tree | 4255378b08692d3f5ad871c1c87303d127b2e568 /Test/dafny0/Newtypes.dfy.expect | |
| parent | f28472da56c5cb38c343bb1e1d8c791fbf22914f (diff) | |
Various resolution fixes and improvements
Added IsGoodHeap antecedent in (exists heap ...) in newtype Is axioms.
Added IDE tool tips in newtype constraints.
Diffstat (limited to 'Test/dafny0/Newtypes.dfy.expect')
0 files changed, 0 insertions, 0 deletions