diff options
author | Jason Gross <jagro@google.com> | 2016-08-24 13:36:46 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-08-24 13:36:46 -0700 |
commit | 60bf5e06742c8985a2da653220c11050ea419dc9 (patch) | |
tree | 780ab92dc9834081d2a557ada0b66382787894ae /_CoqProject | |
parent | ab8d4c062bb998e4746de774889d4e861b401382 (diff) | |
parent | 873d7be7f34814c5fee067a79a0ff0cdf739a54c (diff) |
Merge remote-tracking branch 'upstream/master' into bounded-interface
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index ca7fdf66b..4f8bf08a3 100644 --- a/_CoqProject +++ b/_CoqProject @@ -43,7 +43,6 @@ src/ModularArithmetic/ExtPow2BaseMulProofs.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v -src/ModularArithmetic/ModularBaseSystemField.v src/ModularArithmetic/ModularBaseSystemList.v src/ModularArithmetic/ModularBaseSystemListProofs.v src/ModularArithmetic/ModularBaseSystemOpt.v |