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 0cec928e7..d546a6f66 100644 --- a/_CoqProject +++ b/_CoqProject @@ -194,6 +194,8 @@ src/Reflection/Z/Interpretations128.v src/Reflection/Z/Interpretations64.v src/Reflection/Z/InterpretationsGen.v src/Reflection/Z/JavaNotations.v +src/Reflection/Z/MapCastByDeBruijn.v +src/Reflection/Z/MapCastByDeBruijnWf.v src/Reflection/Z/OpInversion.v src/Reflection/Z/Reify.v src/Reflection/Z/Syntax.v |