From 20d518c5c20d7f10e6d342b788495d59e99df823 Mon Sep 17 00:00:00 2001 From: Robert Sloan Date: Thu, 22 Oct 2015 13:26:00 -0400 Subject: add morphism-based field impl --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 037a9be62..9c07ea0dd 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6,5 +6,6 @@ src/Galois/Galois.v src/Galois/GaloisTheory.v src/Galois/AbstractGaloisField.v src/Galois/ComputationalGaloisField.v +src/Galois/ZGaloisField.v src/Curves/PointFormats.v src/Curves/Curve25519.v -- cgit v1.2.3