From a30bbfe60d619e13601985340b1b70b150aecc28 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 13 May 2017 12:14:27 -0400
Subject: Split off more of ZUtil

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 56d473b25..1a15e0fc4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -296,8 +296,11 @@ src/Util/Tactics/VM.v
 src/Util/ZUtil/Definitions.v
 src/Util/ZUtil/Div.v
 src/Util/ZUtil/Hints.v
+src/Util/ZUtil/Land.v
+src/Util/ZUtil/Modulo.v
 src/Util/ZUtil/Morphisms.v
 src/Util/ZUtil/Notations.v
+src/Util/ZUtil/Pow2Mod.v
 src/Util/ZUtil/Stabilization.v
 src/Util/ZUtil/Tactics.v
 src/Util/ZUtil/Testbit.v
-- 
cgit v1.2.3