diff options
| author |  leino <unknown> | 2014-08-22 00:26:53 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-22 00:26:53 -0700 |
| commit | 6e8c5d61cee5aa6ef56d8b711055541a80162d60 (patch) | |
| tree | c5986faebf35b8bd8ca70025d22550ba2476301d /Test/dafny0/Superposition.dfy | |
| parent | 60036a94bf56dcb15e7f426f0e485e16fb85b651 (diff) | |
Type check and pretty print newtype constraints
Diffstat (limited to 'Test/dafny0/Superposition.dfy')
0 files changed, 0 insertions, 0 deletions