diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-23 15:32:45 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-23 15:32:45 -0500 |
| commit | 445ed267c10c9ddffa7d4173e03689ecce05d407 (patch) | |
| tree | 8844c49d3a0981a6eda91ff64638f9b0e3587a63 /coqprime | |
| parent | fbc9433c5a4c48ec3d2367246aa50e28baddd476 (diff) | |
Fix a typo
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions