diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-06 15:09:43 +0200 |
|---|---|---|
| committer | Jade Philipoom <jadep@google.com> | 2018-04-06 15:09:43 +0200 |
| commit | 3e779870f34a39bcb5c43d8d2f2c1749ac830575 (patch) | |
| tree | 80be8856ac2bc023b36a5459e960b9a19b703b88 /coqprime | |
| parent | 59e1cd39e3adc7212e9acb4995d092400b94f7ab (diff) | |
better factoring-out of mul_converted stuff, define saturated arith operations
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions