diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/_CoqProject b/_CoqProject index d7a41d4d7..0181084eb 100644 --- a/_CoqProject +++ b/_CoqProject @@ -115,19 +115,17 @@ src/Reflection/LinearizeInterp.v src/Reflection/LinearizeWf.v src/Reflection/MapCast.v src/Reflection/MapCastWithCastOp.v -src/Reflection/MapInterp.v -src/Reflection/MapInterpWf.v -src/Reflection/MapWithInterpInfo.v src/Reflection/MultiSizeTest.v src/Reflection/MultiSizeTest2.v src/Reflection/Reify.v +src/Reflection/Relations.v src/Reflection/Syntax.v src/Reflection/TestCase.v +src/Reflection/Tuple.v src/Reflection/WfInversion.v src/Reflection/WfProofs.v src/Reflection/WfReflective.v src/Reflection/WfReflectiveGen.v -src/Reflection/WfRel.v src/Reflection/Named/Compile.v src/Reflection/Named/ContextOn.v src/Reflection/Named/DeadCodeElimination.v |