diff options
author | Rustan Leino <leino@microsoft.com> | 2012-01-09 23:16:37 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-01-09 23:16:37 -0800 |
commit | c7b6946ca6368f6ec307802b82b4e44a6cab83cd (patch) | |
tree | f87588b73461fb5281302ef8b0f67e433c1b4017 /Util/latex/dafny.sty | |
parent | 4ccc3c70255b59a835b099e962ba1d011696a682 (diff) |
Dafny: added support for simple superposition refinements
Diffstat (limited to 'Util/latex/dafny.sty')
0 files changed, 0 insertions, 0 deletions