From 4ddbfb44bd91182034ab4f2a548438ab1f8559b6 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 16 Nov 2017 15:48:44 -0500 Subject: Add ModInv autosolver --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 0752ce47e..f7a4b5aee 100644 --- a/_CoqProject +++ b/_CoqProject @@ -5874,6 +5874,7 @@ src/Util/Logic/ImplAnd.v src/Util/SideConditions/AdmitPackage.v src/Util/SideConditions/Autosolve.v src/Util/SideConditions/CorePackages.v +src/Util/SideConditions/ModInvPackage.v src/Util/SideConditions/ReductionPackages.v src/Util/SideConditions/RingPackage.v src/Util/Sigma/Associativity.v -- cgit v1.2.3