From 8c31e4d382ec00b1fce5207dff6c10f79d676e5c Mon Sep 17 00:00:00 2001
From: Niels <nmvdw@ip-145-116-140-214.wlan-int.ru.nl>
Date: Tue, 20 Jun 2017 13:54:42 +0200
Subject: [PATCH] Lists implement finite sets

---
 FiniteSets/_CoqProject | 1 +
 1 file changed, 1 insertion(+)

diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject
index 85d0935..1717c73 100644
--- a/FiniteSets/_CoqProject
+++ b/FiniteSets/_CoqProject
@@ -9,3 +9,4 @@ ordered.v
 cons_repr.v
 Lattice.v
 monad.v
+Lists.v