From bae04a6d2b215bd29f6f1b534b9538fa0c2f740a Mon Sep 17 00:00:00 2001 From: Niels Date: Tue, 1 Aug 2017 15:20:17 +0200 Subject: [PATCH] Lowercase enumerated --- FiniteSets/_CoqProject | 2 +- FiniteSets/{Enumerated.v => enumerated.v} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename FiniteSets/{Enumerated.v => enumerated.v} (100%) 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