diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-05-31 14:07:21 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-05-31 14:07:21 -0400 |
| commit | 58edb2479ba63345655928c44f55b7321d299378 (patch) | |
| tree | 5a5830b57472a94ff30d290d4b03e551f4f5cb94 /_CoqProject | |
| parent | 6dffd7df006ecac98a2a373abc843f3079c4e070 (diff) | |
PseudoMedialConversion done
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 |