aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
diff options
context:
space:
mode:
Diffstat (limited to '_CoqProject')
-rw-r--r--_CoqProject6
1 files changed, 0 insertions, 6 deletions
diff --git a/_CoqProject b/_CoqProject
index 31249c067..8c376eb88 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6454,7 +6454,6 @@ src/Util/Factorize.v
src/Util/FixCoqMistakes.v
src/Util/FixedWordSizes.v
src/Util/FixedWordSizesEquality.v
-src/Util/ForLoop.v
src/Util/FsatzAutoLemmas.v
src/Util/GlobalSettings.v
src/Util/HList.v
@@ -6466,7 +6465,6 @@ src/Util/LetIn.v
src/Util/LetInMonad.v
src/Util/ListUtil.v
src/Util/Logic.v
-src/Util/Loop.v
src/Util/NUtil.v
src/Util/NatUtil.v
src/Util/Notations.v
@@ -6496,10 +6494,6 @@ src/Util/Bool/Equality.v
src/Util/Bool/IsTrue.v
src/Util/Decidable/Bool2Prop.v
src/Util/Decidable/Decidable2Bool.v
-src/Util/ForLoop/Instances.v
-src/Util/ForLoop/InvariantFramework.v
-src/Util/ForLoop/Tests.v
-src/Util/ForLoop/Unrolling.v
src/Util/ListUtil/FoldBool.v
src/Util/ListUtil/Forall.v
src/Util/Logic/ImplAnd.v