diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-08 23:56:48 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-03-17 14:27:19 -0400 |
| commit | 35b540eea20ea67bfa6bce0e940099fa37b347bd (patch) | |
| tree | 39ade28f00b3d28767a475f6000747f705cea12f /_CoqProject | |
| parent | fe6e81c08bc8b719639319d5ecf6c6d3efad1513 (diff) | |
Add a Named version of MapCast
Based on Andres' work towards #123.
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 |