From 7c9658dab4001a636e056062d0ccff98a649bdee Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 22 Apr 2018 13:57:15 -0400 Subject: make update-_CoqProject --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 782741ee2..6352367df 100644 --- a/_CoqProject +++ b/_CoqProject @@ -240,6 +240,7 @@ src/Curves/Weierstrass/Affine.v src/Curves/Weierstrass/AffineProofs.v src/Curves/Weierstrass/Jacobian.v src/Curves/Weierstrass/Projective.v +src/Experiments/PartialEvaluationWithLetIn.v src/Experiments/SimplyTypedArithmetic.v src/LegacyArithmetic/ArchitectureToZLike.v src/LegacyArithmetic/ArchitectureToZLikeProofs.v -- cgit v1.2.3