From 85d6e98bac0c9483fdaf80da2c55309c597cbfeb Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 5 Jan 2018 20:23:42 -0500
Subject: Factor out fsatz lemmas
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

After    | File Name                   | Before   || Change    | % Change
-------------------------------------------------------------------------
1m11.42s | Total                       | 1m53.75s || -0m42.33s | -37.21%
-------------------------------------------------------------------------
1m06.02s | Curves/Weierstrass/Jacobian | 1m53.76s || -0m47.73s | -41.96%
0m05.40s | Util/FsatzAutoLemmas        |   N/A    || +0m05.40s | ∞
---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 48f29bdab..926df76fa 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -5829,6 +5829,7 @@ src/Util/FixCoqMistakes.v
 src/Util/FixedWordSizes.v
 src/Util/FixedWordSizesEquality.v
 src/Util/ForLoop.v
+src/Util/FsatzAutoLemmas.v
 src/Util/GlobalSettings.v
 src/Util/HList.v
 src/Util/HProp.v
-- 
cgit v1.2.3