diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-20 17:41:22 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-20 17:41:22 -0700 |
commit | 032662d0adb823376b1abd49a0c46ba3276f8721 (patch) | |
tree | 00be25f421022c7c774667b684edda3b6058bc17 /Util/latex | |
parent | e9de4cbd947adfe63c13e771f048a8c392035bb2 (diff) |
Dafny: fixed bug (missing Boogie cast) in translation of induction over generic datatypes instantiated with datatypes
Diffstat (limited to 'Util/latex')
0 files changed, 0 insertions, 0 deletions