diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-10-10 14:03:41 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-10-10 14:08:45 -0400 |
| commit | f519be9e626aea5a0ea8605dcb6748f2c05bb52d (patch) | |
| tree | ea693c2b7800864d7c6a4e4855ec532a937f5fcf /src/Spec | |
| parent | 9315c846b7fe474ee85fd2674bdc8141e3f5e63a (diff) | |
Decidable: add [Z] and [nat] inequalities
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions