From 401058d999a6eaa38ce31b2ee9356a65b63498d2 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 13 May 2017 12:44:43 -0400 Subject: Split off more ZUtil things --- _CoqProject | 4 ++++ 1 file changed, 4 insertions(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 1a15e0fc4..7d440951a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -295,12 +295,15 @@ src/Util/Tactics/UniquePose.v src/Util/Tactics/VM.v src/Util/ZUtil/Definitions.v src/Util/ZUtil/Div.v +src/Util/ZUtil/EquivModulo.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/Quot.v +src/Util/ZUtil/Sgn.v src/Util/ZUtil/Stabilization.v src/Util/ZUtil/Tactics.v src/Util/ZUtil/Testbit.v @@ -317,6 +320,7 @@ src/Util/ZUtil/Tactics/LtbToLt.v src/Util/ZUtil/Tactics/PeelLe.v src/Util/ZUtil/Tactics/PrimeBound.v src/Util/ZUtil/Tactics/ReplaceNegWithPos.v +src/Util/ZUtil/Tactics/RewriteModSmall.v src/Util/ZUtil/Tactics/SimplifyFractionsLe.v src/Util/ZUtil/Tactics/ZeroBounds.v src/Util/ZUtil/Tactics/Ztestbit.v -- cgit v1.2.3