diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-01 20:29:11 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-01 20:29:11 -0400 |
| commit | 920b99a9a1b692fdd1601623071992d7d7869165 (patch) | |
| tree | ab0662eb736d5b14bfe7b8905a79ea5180048285 /_CoqProject | |
| parent | 6047a7f1fec9e722ab838129e3723c8661a0dc7f (diff) | |
Add correctness of Rewriter
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 414eb2949..9cd99ffce 100644 --- a/_CoqProject +++ b/_CoqProject @@ -143,6 +143,8 @@ src/Reflection/MultiSizeTest2.v src/Reflection/Reify.v src/Reflection/Relations.v src/Reflection/Rewriter.v +src/Reflection/RewriterInterp.v +src/Reflection/RewriterWf.v src/Reflection/SmartBound.v src/Reflection/SmartBoundInterp.v src/Reflection/SmartBoundWf.v |