diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:00:55 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:00:55 -0400 |
| commit | ce51a8e4b5c03178a08b7cd0e5bd34bae2fdf4a0 (patch) | |
| tree | 11f3dead685c79e67f16d10480955a7df7c88ba7 /_CoqProject | |
| parent | e72cc12f4fa668f82fe5fd20fa5a20b30f9ecd00 (diff) | |
tuple tooling
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 21aca1390..1fefae2d4 100644 --- a/_CoqProject +++ b/_CoqProject @@ -39,11 +39,11 @@ src/Specific/GF1305.v src/Specific/GF25519.v src/Tactics/VerdiTactics.v src/Util/CaseUtil.v -src/Util/Fieldwise.v src/Util/IterAssocOp.v src/Util/ListUtil.v src/Util/NatUtil.v src/Util/NumTheoryUtil.v src/Util/Tactics.v +src/Util/Tuple.v src/Util/WordUtil.v src/Util/ZUtil.v |