Lists to project

2017-09-07 15:45:43 +02:00 · 2017-09-07 15:45:43 +02:00 · bb4add6510
parent 6c86d0c524
commit bb4add6510
1 changed files with 1 additions and 0 deletions
--- 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