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 8fadf2f12..8c26d122b 100644 --- a/_CoqProject +++ b/_CoqProject @@ -37,8 +37,10 @@ src/MiscCompilerPassesProofs.v src/Rewriter.v src/RewriterInterpProofs1.v src/RewriterProofs.v +src/RewriterRules.v src/RewriterRulesGood.v src/RewriterRulesInterpGood.v +src/RewriterRulesProofs.v src/RewriterWf1.v src/RewriterWf2.v src/SlowPrimeSynthesisExamples.v |