diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-06-07 18:05:29 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-06-07 18:05:29 -0400 |
| commit | b9720744fd268072000daa3c1ee5a61e6cc7c954 (patch) | |
| tree | cfcce79168e2cb8e562d4bc36c2ff94532f625c6 /_CoqProject | |
| parent | aa2f92942eedda9744b088d9b541a9bfa528ef71 (diff) | |
add Specific/Karatsuba to CoqProject
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index f6bdcd43c..7e28790b2 100644 --- a/_CoqProject +++ b/_CoqProject @@ -220,6 +220,7 @@ src/Specific/IntegrationTestTemporaryMiscCommon.v src/Specific/FancyMachine256/Barrett.v src/Specific/FancyMachine256/Core.v src/Specific/FancyMachine256/Montgomery.v +src/Specific/Karatsuba.v src/Util/AdditionChainExponentiation.v src/Util/AutoRewrite.v src/Util/Bool.v |