From 19b850574a479ccd7984b584d89e67513d719a01 Mon Sep 17 00:00:00 2001 From: jadep Date: Thu, 21 Jul 2016 11:23:18 -0400 Subject: re-introduced extra field isomorphism layer for 8.4 compatibility and better organization of reasoning. --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 3b197c40c..187ea6541 100644 --- a/_CoqProject +++ b/_CoqProject @@ -38,6 +38,7 @@ src/ModularArithmetic/ExtPow2BaseMulProofs.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v +src/ModularArithmetic/ModularBaseSystemField.v src/ModularArithmetic/ModularBaseSystemList.v src/ModularArithmetic/ModularBaseSystemListProofs.v src/ModularArithmetic/ModularBaseSystemOpt.v -- cgit v1.2.3