diff options
| author |  Jason Gross <jagro@google.com> | 2018-06-26 14:11:49 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-06-26 14:11:49 -0400 |
| commit | bdb73e3541400f7197fb683eb5f140c62d749ad8 (patch) | |
| tree | fc85b2b27e927d97f9d97e2e58c5fcef4215f8ad /_CoqProject | |
| parent | 6d3702edad1a69a08565a288f1153b4853ba3b25 (diff) | |
Add Z.bneg, Z.lneg
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions