diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 5fd534bca..743a0a3a3 100644 --- a/_CoqProject +++ b/_CoqProject @@ -5,6 +5,7 @@ bbv/DepEqNat.v bbv/NatLib.v bbv/Nomega.v bbv/Word.v +bbv/WordScope.v src/Demo.v src/Algebra/Field.v src/Algebra/Field_test.v |