From 1eec9628ce3b918148c9f79d4c12634b1f9fd027 Mon Sep 17 00:00:00 2001 From: Niels Date: Tue, 1 Aug 2017 15:13:52 +0200 Subject: [PATCH] Lowercase files --- FiniteSets/{Lattice.v => lattice.v} | 0 FiniteSets/{Lists.v => lists.v} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename FiniteSets/{Lattice.v => lattice.v} (100%) rename FiniteSets/{Lists.v => lists.v} (100%) 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