diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-21 13:47:46 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-21 13:47:46 -0400 |
| commit | 6633dc432ea54301715c4275b3639f09dc81dac6 (patch) | |
| tree | f1943cfda93d8ddbbf7189e80296a98f086fa551 /_CoqProject | |
| parent | d9b51367716f833fd1b2d6bbff480c26cece4e60 (diff) | |
Finished [split_index] proofs and reworked conversion proofs to match.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions