From 58edb2479ba63345655928c44f55b7321d299378 Mon Sep 17 00:00:00 2001 From: Robert Sloan Date: Tue, 31 May 2016 14:07:21 -0400 Subject: PseudoMedialConversion done --- _CoqProject | 12 ------------ 1 file changed, 12 deletions(-) (limited to '_CoqProject') 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 -- cgit v1.2.3