diff options
author | Rustan Leino <leino@microsoft.com> | 2012-05-01 15:44:36 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-05-01 15:44:36 -0700 |
commit | 9b2f16539464c877be087b395ffee94dc6b74e17 (patch) | |
tree | d1c73a45edd99597e11b05c7b637153cc63c3198 /Source/version.cs | |
parent | e956452c717924a6a945fd57229cfce1d16e686f (diff) |
Dafny: print inductive datatypes
Diffstat (limited to 'Source/version.cs')
0 files changed, 0 insertions, 0 deletions