diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-02-15 13:18:40 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-03-02 13:37:14 -0500 |
| commit | 0a6e65e3cec0a8f00f357d82489532203f315389 (patch) | |
| tree | b7bc706ce46b38e3c43f9375fd5a2dd9859d056a /_CoqProject | |
| parent | 0a9ea9df752b078bbd89f765cf760081036bd51a (diff) | |
address some code review comments
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index ae6eaef6a..1e5bddeed 100644 --- a/_CoqProject +++ b/_CoqProject @@ -11,6 +11,7 @@ src/MxDHRepChange.v src/NewBaseSystem.v src/Testbit.v src/Algebra/Field.v +src/Algebra/Field_test.v src/Algebra/Group.v src/Algebra/IntegralDomain.v src/Algebra/Monoid.v @@ -447,6 +448,7 @@ src/Util/CaseUtil.v src/Util/Curry.v src/Util/Decidable.v src/Util/Equality.v +src/Util/Factorize.v src/Util/FixCoqMistakes.v src/Util/FixedWordSizes.v src/Util/FixedWordSizesEquality.v |