diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-21 14:56:55 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-21 14:56:55 -0400 |
| commit | 92cebb5b7c7b588467cdf4c07115aaaeafea2360 (patch) | |
| tree | 3fbb5876d825a51a1ce0f72b499da93c98b4f8b0 /_CoqProject | |
| parent | 6633dc432ea54301715c4275b3639f09dc81dac6 (diff) | |
Proved some leftover admits in Pow2BaseProofs.v
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions