From e11d6d06e6eda3cd5940765dbbea420416725832 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Fri, 2 Feb 2018 11:21:21 -0500
Subject: add bedrock bit vectors library (bbv) as a submodule replacing the
 Bedrock directory

---
 _CoqProject | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 96ffb03f9..5fd534bca 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,7 +1,10 @@
 -R src Crypto
--R Bedrock Bedrock
-Bedrock/Nomega.v
-Bedrock/Word.v
+-R bbv bbv
+bbv/DepEq.v
+bbv/DepEqNat.v
+bbv/NatLib.v
+bbv/Nomega.v
+bbv/Word.v
 src/Demo.v
 src/Algebra/Field.v
 src/Algebra/Field_test.v
-- 
cgit v1.2.3