diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject
index 69eefc2..ccbf631 100644
--- a/FiniteSets/_CoqProject
+++ b/FiniteSets/_CoqProject
@@ -15,6 +15,7 @@ kuratowski/operations.v
 kuratowski/properties.v
 FSets.v
 interfaces/set_interface.v
+implementations/lists.v
 subobjects/sub.v
 subobjects/k_finite.v
 subobjects/enumerated.v