diff options
| author |  Jason Gross <jagro@google.com> | 2016-08-31 15:24:16 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-08-31 15:24:16 -0700 |
| commit | d796f0b78c2b5956b0f9eec23adbfb4cb9a719c8 (patch) | |
| tree | 2f150b4a0ae5c58a182c3c73a4161ad0fbda9764 /_CoqProject | |
| parent | c3b5ca7801220e3756136596b24e61ed66f34f10 (diff) | |
Rename congrunce_option to inversion_option, add [inversion_prod]
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 40804dcd9..7dcfb9728 100644 --- a/_CoqProject +++ b/_CoqProject @@ -89,6 +89,7 @@ src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v src/Util/Option.v +src/Util/Prod.v src/Util/Sigma.v src/Util/Sum.v src/Util/Tactics.v |