From 063c874f4bd87911cff3466542d599b579f2ff2d Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 29 Oct 2018 16:45:10 -0400
Subject: Add some lemmas about ex, and, eq

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 54f1cd4f7..659c23407 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6546,6 +6546,7 @@ src/Util/ListUtil/FoldBool.v
 src/Util/ListUtil/Forall.v
 src/Util/ListUtil/ForallIn.v
 src/Util/ListUtil/SetoidList.v
+src/Util/Logic/ExistsEqAnd.v
 src/Util/Logic/ImplAnd.v
 src/Util/Logic/ProdForall.v
 src/Util/MSetPositive/Equality.v
-- 
cgit v1.2.3