diff options
| author | Cyril Cohen | 2017-11-21 15:31:46 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-21 15:31:46 +0100 |
| commit | 82739c704bef2234dce643cbdd0b5be5a79b755b (patch) | |
| tree | e2f58846fcadc29f934a15b81257060218761a3c /INSTALL.md | |
| parent | 1b2011402ac3fb6d7b28e8eb3178a70a6d1b3d14 (diff) | |
| parent | 8f62332b4b05eb796a72439d4b01b1f1ca8c44d7 (diff) | |
Merge pull request #115 from strub/uniqP
Reflection lemmas for `seq.uniq`
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions