From 0cea3e2f80408a25954f820faebf5cd79d2e13ae Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Sun, 3 Jul 2016 00:22:13 -0700
Subject: Define the spec of Weierstrass curves (#6)

Define the spec of Weierstrass curves

This is the start of work on P256.
---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index beac11f07..22af15eb5 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -49,6 +49,7 @@ src/Spec/EdDSA.v
 src/Spec/Encoding.v
 src/Spec/ModularArithmetic.v
 src/Spec/ModularWordEncoding.v
+src/Spec/WeierstrassCurve.v
 src/Specific/GF1305.v
 src/Specific/GF25519.v
 src/Tactics/Nsatz.v
@@ -67,3 +68,4 @@ src/Util/Tuple.v
 src/Util/Unit.v
 src/Util/WordUtil.v
 src/Util/ZUtil.v
+src/WeierstrassCurve/Pre.v
-- 
cgit v1.2.3