diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject index f9a23eb..ce39aff 100644 --- a/FiniteSets/_CoqProject +++ b/FiniteSets/_CoqProject @@ -12,6 +12,6 @@ properties_decidable.v monad.v cons_repr.v lists.v -Enumerated.v +enumerated.v #empty_set.v #ordered.v diff --git a/FiniteSets/Enumerated.v b/FiniteSets/enumerated.v similarity index 100% rename from FiniteSets/Enumerated.v rename to FiniteSets/enumerated.v