diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index c9d56d0fc..a8e3d66ff 100644 --- a/_CoqProject +++ b/_CoqProject @@ -57,3 +57,6 @@ src/Assembly/PseudoConversion.v src/Assembly/AlmostConversion.v src/Assembly/StringConversion.v src/Assembly/Pipeline.v +src/Assembly/Vectorize.v +src/Assembly/Wordize.v +src/Assembly/Pseudize.v |