diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-03-29 15:17:37 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-03-30 16:43:30 -0400 |
| commit | 4d8cb624bd7978d6a8f4eb3922e04a1110906039 (patch) | |
| tree | b2106d8a781c324241b518e812114aa6e1896a81 /coqprime | |
| parent | f1b4633e833a08295e368851eed461a3759d22f0 (diff) | |
rewrite zeros to use tuple [repeat]
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions