diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-30 18:11:52 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-30 18:12:01 -0400 |
| commit | 8cc6d8e8de952ca8652d2c5ea1faa51dec8b3408 (patch) | |
| tree | 2a04008c052dbc55c42b52b32e9fb1d7f843cc88 /_CoqProject | |
| parent | 8b3df1fe8fdd6f09546e0c883cc8f6800813f1b9 (diff) | |
Start instantiating MapCastByDeBruijn in Z/
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 |