diff options
author | Jason Koenig <unknown> | 2012-07-17 15:35:27 -0700 |
---|---|---|
committer | Jason Koenig <unknown> | 2012-07-17 15:35:27 -0700 |
commit | caf298f8cab0138c0dde7328b0565642094256a7 (patch) | |
tree | 1e517562f5ce6bcdcee2d648e3695ece7462511b /Binaries | |
parent | 7c5b29cfb26c4fe04de732ae7f79d12d840c679e (diff) |
Dafny: compilation of abstract modules, including local definitions (as in module A as B = C)
* * *
Dafny: compilation of abstract modules, including local definitions (as in module A as B = C)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions