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 40219c575..9f5a239e1 100644 --- a/_CoqProject +++ b/_CoqProject @@ -33,7 +33,9 @@ src/LanguageInversion.v src/LanguageWf.v src/MiscCompilerPasses.v src/MiscCompilerPassesProofs.v +src/PreLanguage.v src/Rewriter.v +src/RewriterFull.v src/RewriterInterpProofs1.v src/RewriterProofs.v src/RewriterRules.v |