diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-20 21:04:38 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-20 21:04:38 -0400 |
| commit | 32ea43cdf7c50599c340f001b5344410c7e2d6af (patch) | |
| tree | 863260a1c56b3a0d8f033e929e549d33631c0c10 /_CoqProject | |
| parent | a1c697281a1abce26b269eb4d5573e8356d653a0 (diff) | |
Add a version of exprf that lives in Set
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e86e74678..2f0db2cd9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -94,6 +94,9 @@ src/Compilers/WfInversion.v src/Compilers/WfProofs.v src/Compilers/WfReflective.v src/Compilers/WfReflectiveGen.v +src/Compilers/InSet/Syntax.v +src/Compilers/InSet/Typeify.v +src/Compilers/InSet/TypeifyInterp.v src/Compilers/Named/AListContext.v src/Compilers/Named/Compile.v src/Compilers/Named/CompileInterp.v |