From e498aa29dfc659fc1401ee6d77abcce643a73706 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 22 Jul 2016 14:53:22 +0200
Subject: [PATCH] More consistent file names for coPset, bset and set.
Similar files (gmap, listset, ...) were already in singular form and
matched the name of the set/map data type.
---
theories/{bsets.v => bset.v} | 0
theories/{co_pset.v => coPset.v} | 0
theories/gmap.v | 2 +-
theories/{sets.v => set.v} | 0
4 files changed, 1 insertion(+), 1 deletion(-)
rename theories/{bsets.v => bset.v} (100%)
rename theories/{co_pset.v => coPset.v} (100%)
rename theories/{sets.v => set.v} (100%)
diff --git a/theories/bsets.v b/theories/bset.v
similarity index 100%
rename from theories/bsets.v
rename to theories/bset.v
diff --git a/theories/co_pset.v b/theories/coPset.v
similarity index 100%
rename from theories/co_pset.v
rename to theories/coPset.v
diff --git a/theories/gmap.v b/theories/gmap.v
index b9cd019c..88f62e36 100644
--- a/theories/gmap.v
+++ b/theories/gmap.v
@@ -3,7 +3,7 @@
(** This file implements finite maps and finite sets with keys of any countable
type. The implementation is based on [Pmap]s, radix-2 search trees. *)
From stdpp Require Export countable fin_maps fin_map_dom.
-From stdpp Require Import pmap mapset sets.
+From stdpp Require Import pmap mapset set.
(** * The data structure *)
(** We pack a [Pmap] together with a proof that ensures that all keys correspond
diff --git a/theories/sets.v b/theories/set.v
similarity index 100%
rename from theories/sets.v
rename to theories/set.v
--
GitLab