From b8200f3ae9dc13110033ad424eba335632e7a4a1 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 22 Nov 2016 20:08:38 -0500 Subject: Add lemmas about application --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 84d2cbe14..24dbd5005 100644 --- a/_CoqProject +++ b/_CoqProject @@ -95,6 +95,7 @@ src/ModularArithmetic/Montgomery/Z.v src/ModularArithmetic/Montgomery/ZBounded.v src/ModularArithmetic/Montgomery/ZProofs.v src/Reflection/Application.v +src/Reflection/ApplicationLemmas.v src/Reflection/CommonSubexpressionElimination.v src/Reflection/Conversion.v src/Reflection/CountLets.v -- cgit v1.2.3