diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-16 14:02:06 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-16 14:02:06 -0700 |
| commit | 314fa69fe5512d3b23f160b87f412d537e061903 (patch) | |
| tree | 6370dc79bda8cd2024f24cba489a5b36eb9d5338 /_CoqProject | |
| parent | 7df948ed3b6799f3f59df04758ab779a53151aa1 (diff) | |
Split off lemmas about [InlineConst]
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 6e6ce09d8..d87842e49 100644 --- a/_CoqProject +++ b/_CoqProject @@ -64,6 +64,8 @@ src/ModularArithmetic/Montgomery/Z.v src/ModularArithmetic/Montgomery/ZBounded.v src/ModularArithmetic/Montgomery/ZProofs.v src/Reflection/CommonSubexpressionElimination.v +src/Reflection/Inline.v +src/Reflection/InlineWf.v src/Reflection/InputSyntax.v src/Reflection/InterpProofs.v src/Reflection/Linearize.v |