diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-16 15:48:44 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-16 15:48:44 -0500 |
| commit | 4ddbfb44bd91182034ab4f2a548438ab1f8559b6 (patch) | |
| tree | a49da7fe31fd881de24f879e3b8a0c4c7ab9a7af /_CoqProject | |
| parent | a7cbc1fe6f1f01a877dec0f638f0345fe27804a7 (diff) | |
Add ModInv autosolver
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 0752ce47e..f7a4b5aee 100644 --- a/_CoqProject +++ b/_CoqProject @@ -5874,6 +5874,7 @@ src/Util/Logic/ImplAnd.v src/Util/SideConditions/AdmitPackage.v src/Util/SideConditions/Autosolve.v src/Util/SideConditions/CorePackages.v +src/Util/SideConditions/ModInvPackage.v src/Util/SideConditions/ReductionPackages.v src/Util/SideConditions/RingPackage.v src/Util/Sigma/Associativity.v |