diff --git a/FiniteSets/Lattice.v b/FiniteSets/lattice.v
similarity index 100%
rename from FiniteSets/Lattice.v
rename to FiniteSets/lattice.v
diff --git a/FiniteSets/Lists.v b/FiniteSets/lists.v
similarity index 100%
rename from FiniteSets/Lists.v
rename to FiniteSets/lists.v