From bb4add65109f98080161f4b4dd53f4673253b826 Mon Sep 17 00:00:00 2001 From: Niels Date: Thu, 7 Sep 2017 15:45:43 +0200 Subject: [PATCH] Lists to project --- FiniteSets/_CoqProject | 1 + 1 file changed, 1 insertion(+) 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