diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-12 16:03:24 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-12 16:03:24 -0700 |
| commit | cd933c5c97b61e04d0d0bd84ad961382e72b57b5 (patch) | |
| tree | 484a572df73b51fee4401f918d9f9bf33825f9b1 /.hgignore | |
| parent | fc76541682ec019b8a2dc08ca9972ff517db9b74 (diff) | |
Dafny: things about sequences: parse Suffix expressions after DisplayExpr's, and axiomatize [][..0] == [] == [][0..]
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions