diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-16 01:17:31 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-16 01:17:31 -0400 |
commit | aeee4e7feac983076a006a27e35c3279005cdf29 (patch) | |
tree | 472230752957f1d9a26be35fd21d34853bbf4fed /coqprime | |
parent | 35c45bd5c27afed58f0e7b0db4ca0310490e037c (diff) |
Fix base generation
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions