From 051ccf4d0666e195c0022c1e5948892bbc7aeca0 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 10 Feb 2018 16:17:16 -0500
Subject: Split off ZRange lemmas

---
 _CoqProject | 3 +++
 1 file changed, 3 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index fa0dcff31..41790980e 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -6543,6 +6543,8 @@ src/Util/Tactics/UnfoldArg.v
 src/Util/Tactics/UnifyAbstractReflexivity.v
 src/Util/Tactics/UniquePose.v
 src/Util/Tactics/VM.v
+src/Util/ZRange/BasicLemmas.v
+src/Util/ZRange/CornersMonotoneBounds.v
 src/Util/ZRange/Operations.v
 src/Util/ZUtil/AddGetCarry.v
 src/Util/ZUtil/CPS.v
@@ -6583,6 +6585,7 @@ src/Util/ZUtil/Tactics/PullPush.v
 src/Util/ZUtil/Tactics/ReplaceNegWithPos.v
 src/Util/ZUtil/Tactics/RewriteModSmall.v
 src/Util/ZUtil/Tactics/SimplifyFractionsLe.v
+src/Util/ZUtil/Tactics/SplitMinMax.v
 src/Util/ZUtil/Tactics/ZeroBounds.v
 src/Util/ZUtil/Tactics/Ztestbit.v
 src/Util/ZUtil/Tactics/PullPush/Modulo.v
-- 
cgit v1.2.3