diff options
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 04e2c2f22..afad38124 100644 --- a/_CoqProject +++ b/_CoqProject @@ -58,7 +58,9 @@ src/Util/ListUtil.v src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v +src/Util/Sum.v src/Util/Tactics.v src/Util/Tuple.v +src/Util/Unit.v src/Util/WordUtil.v src/Util/ZUtil.v |