From a37a83ae363394df68c90677b0af904ef70dc4b4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 9 Jun 2017 22:13:17 -0400 Subject: Make it clear that the combined definition/proof file is a work in progress --- _CoqProject | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 518956f8c..2770bc7db 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,8 +22,8 @@ src/Arithmetic/BarrettReduction/HAC.v src/Arithmetic/BarrettReduction/Wikipedia.v src/Arithmetic/MontgomeryReduction/Definition.v src/Arithmetic/MontgomeryReduction/Proofs.v -src/Arithmetic/MontgomeryReduction/WordByWord/Combined.v src/Arithmetic/MontgomeryReduction/WordByWord/Definition.v +src/Arithmetic/MontgomeryReduction/WordByWord/TemporaryFileCombined.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v src/Compilers/CommonSubexpressionEliminationInterp.v -- cgit v1.2.3