diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-03-08 16:53:10 +0100 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2018-04-03 09:00:55 -0400 |
| commit | eddee83789834869f2b1918154a71ad982a24aac (patch) | |
| tree | ed2be5fe44f75f98abe698fccfdb5a96f1043ee6 /coqprime | |
| parent | b12a2c678ce519b7de019fb068c101cb96371127 (diff) | |
rename w_half to w_mul
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions