diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-08-08 13:17:24 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-08-08 13:17:24 -0400 |
| commit | f1796582647d9530eae9d36b85d8c9b749f39635 (patch) | |
| tree | d062746a5ca6d17e11994b6429eeccffa08aa276 /src/Util/Tactics.v | |
| parent | a75b70439c65aaf5cafffdc03dc8ba1e197206be (diff) | |
ModularArithmetic: remove [demod], use [pull_Zmod] instead
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions