diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-10 15:17:51 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-10 15:17:51 -0400 |
| commit | e4aa3baa96d9026cebaac8f38ae2320deb1d26d9 (patch) | |
| tree | 33db200ea005087c04052fd3b6ebe88a652256f0 /_CoqProject | |
| parent | 00ee28c8c4c9d6f63f1c4153566f8a1ff68606b3 (diff) | |
Add AListContext, WeakListContext
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index d266f8fcf..ad1973ee8 100644 --- a/_CoqProject +++ b/_CoqProject @@ -82,6 +82,7 @@ src/Compilers/WfInversion.v src/Compilers/WfProofs.v src/Compilers/WfReflective.v src/Compilers/WfReflectiveGen.v +src/Compilers/Named/AListContext.v src/Compilers/Named/Compile.v src/Compilers/Named/CompileInterp.v src/Compilers/Named/CompileProperties.v @@ -106,6 +107,7 @@ src/Compilers/Named/PositiveContext.v src/Compilers/Named/RegisterAssign.v src/Compilers/Named/SmartMap.v src/Compilers/Named/Syntax.v +src/Compilers/Named/WeakListContext.v src/Compilers/Named/Wf.v src/Compilers/Named/WfInterp.v src/Compilers/Named/ContextProperties/NameUtil.v |