diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 2e48ee0b5..a9895bd10 100644 --- a/_CoqProject +++ b/_CoqProject @@ -161,6 +161,8 @@ src/Reflection/Named/FMapContext.v src/Reflection/Named/InterpretToPHOAS.v src/Reflection/Named/InterpretToPHOASInterp.v src/Reflection/Named/InterpretToPHOASWf.v +src/Reflection/Named/MapCast.v +src/Reflection/Named/MapCastInterp.v src/Reflection/Named/NameUtil.v src/Reflection/Named/NameUtilProperties.v src/Reflection/Named/PositiveContext.v |