From 53ccbb1219d3d27d2bf901a4f38df6dee40ae2b9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 10 Mar 2018 20:18:03 -0500 Subject: make update-_CoqProject --- _CoqProject | 6 ++++++ 1 file changed, 6 insertions(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 9baa1bb62..d7933386b 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,7 +1,13 @@ -R src Crypto -R bbv bbv +bbv/BinNotation.v +bbv/BinNotationZ.v bbv/DepEq.v bbv/DepEqNat.v +bbv/HexNotation.v +bbv/HexNotationWord.v +bbv/HexNotationZ.v +bbv/NLib.v bbv/NatLib.v bbv/Nomega.v bbv/Word.v -- cgit v1.2.3