diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-19 15:24:26 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-02-19 17:59:16 -0500 |
| commit | 2e83283a7767f570ffdbd2951c62680a0f691d06 (patch) | |
| tree | 7b8212fa5d1f3eb13a988f617b12e37c4fee40bd /coqprime | |
| parent | 6fa8d678414e4622ae3624dc3f56232087a0d907 (diff) | |
[experiments] Fill in opp and sub
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions