diff options
author | leino <unknown> | 2014-08-24 02:33:57 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-24 02:33:57 -0700 |
commit | cac7e98ce4414b684a53c2581602d086a3e2eea9 (patch) | |
tree | bf5084701d79aca4619bbb4c5ea09fa3f3299fff /Test/dafny0/Superposition.dfy | |
parent | 6e8c5d61cee5aa6ef56d8b711055541a80162d60 (diff) |
Cycle detection among newtypes. Start of well-formedness check for newtypes.
Diffstat (limited to 'Test/dafny0/Superposition.dfy')
0 files changed, 0 insertions, 0 deletions