diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 40df1fb72..6e7e43e64 100644 --- a/_CoqProject +++ b/_CoqProject @@ -151,7 +151,6 @@ src/Util/LetInMonad.v src/Util/ListUtil.v src/Util/Logic.v src/Util/Loops.v -src/Util/NUtil.v src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v @@ -177,7 +176,6 @@ src/Util/TagList.v src/Util/Tower.v src/Util/Tuple.v src/Util/Unit.v -src/Util/WordUtil.v src/Util/ZBounded.v src/Util/ZRange.v src/Util/ZUtil.v |