diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-10 13:45:31 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-10 14:14:28 -0500 |
| commit | 1c38c74bc059f67ec58fc8026eb8ba8742b4913b (patch) | |
| tree | 60ec735ae78c2d23d02bb305d4599d55231ada47 /_CoqProject | |
| parent | d5ac8bc07824d9cf6c7b4698bf38bde85cc84704 (diff) | |
More modularity in autosolve
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 0633c2b00..ee096ee70 100644 --- a/_CoqProject +++ b/_CoqProject @@ -4190,6 +4190,8 @@ src/Util/ListUtil/FoldBool.v src/Util/Logic/ImplAnd.v src/Util/SideConditions/Autosolve.v src/Util/SideConditions/CorePackages.v +src/Util/SideConditions/ReductionPackages.v +src/Util/SideConditions/RingPackage.v src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Sigma/MapProjections.v |