diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/_CoqProject b/_CoqProject index a51cfed80..6d2b3a880 100644 --- a/_CoqProject +++ b/_CoqProject @@ -30,15 +30,3 @@ src/Util/NatUtil.v src/Util/NumTheoryUtil.v src/Util/WordUtil.v src/Util/ZUtil.v -src/Assembly/AlmostConversion.v -src/Assembly/AlmostQhasm.v -src/Assembly/BoundedWord.v -src/Assembly/Conversion.v -src/Assembly/GallinaConversion.v -src/Assembly/Language.v -src/Assembly/Qhasm.v -src/Assembly/State.v -src/Assembly/QhasmCommon.v -src/Assembly/QhasmEvalCommon.v -src/Assembly/QhasmUtil.v -src/Assembly/StringConversion.v |