diff options
author | Rustan Leino <leino@microsoft.com> | 2011-10-19 18:35:52 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-10-19 18:35:52 -0700 |
commit | 253ace40ff7f3382f1f413020069fcaae7a966e0 (patch) | |
tree | d969df8ac8f3bdca2b66a7e8d5fc18eb27d26a65 /Util/latex | |
parent | 2cf94d77a65e9e585baee7d43a8424227d3fe773 (diff) |
Dafny: fixed performance-buggy translation of exists, and also added some other features in SplitExpr (such as induction on existential quantifiers)
Diffstat (limited to 'Util/latex')
0 files changed, 0 insertions, 0 deletions