From 40161086cdd8f0f04c1389f6ddad5d376f92138f Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Wed, 22 Feb 2017 18:32:19 -0500 Subject: PrimeFieldTheorems: inv for isomorphic fields --- _CoqProject | 1 - 1 file changed, 1 deletion(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 1e5bddeed..4b1b68cc9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -92,7 +92,6 @@ src/ModularArithmetic/Pre.v src/ModularArithmetic/PrimeFieldTheorems.v src/ModularArithmetic/PseudoMersenneBaseParamProofs.v src/ModularArithmetic/PseudoMersenneBaseParams.v -src/ModularArithmetic/Tutorial.v src/ModularArithmetic/ZBounded.v src/ModularArithmetic/ZBoundedZ.v src/ModularArithmetic/BarrettReduction/Z.v -- cgit v1.2.3