diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-19 17:55:31 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-02-19 17:59:16 -0500 |
| commit | 861a5245adb27d3beb7579d5fe38e344a6a17f07 (patch) | |
| tree | fdcce87e84b98c57e9ffca1550809de40eeef324 /coqprime | |
| parent | 2e83283a7767f570ffdbd2951c62680a0f691d06 (diff) | |
A bit more uniformity in handling the prime, implicits
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions