From 3a097260dac2ca73370a493b1f25975f3394f699 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Mon, 6 Aug 2018 13:40:50 -0400
Subject: Add related_iff_app_curried

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 30aab707b..afb75162c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6530,6 +6530,7 @@ src/Util/Decidable/Decidable2Bool.v
 src/Util/ListUtil/FoldBool.v
 src/Util/ListUtil/Forall.v
 src/Util/Logic/ImplAnd.v
+src/Util/Logic/ProdForall.v
 src/Util/SideConditions/AdmitPackage.v
 src/Util/SideConditions/Autosolve.v
 src/Util/SideConditions/CorePackages.v
-- 
cgit v1.2.3