diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-03 15:14:17 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-03 15:14:17 -0400 |
| commit | 9009ddf4261bbf489874c4619a8c0397eb3f989d (patch) | |
| tree | b1fa7b5ff05300f1cca6f1eaf19b9fe3c601f6bf /_CoqProject | |
| parent | eb20555b72dc38d4675cfb1e68203ad9be56a3d3 (diff) | |
Split off liftn_sig, add lift{3,4}_sig
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index ce12ad591..3bba84956 100644 --- a/_CoqProject +++ b/_CoqProject @@ -274,7 +274,6 @@ src/Util/PointedProp.v src/Util/Prod.v src/Util/Relations.v src/Util/Sigma.v -src/Util/SigmaAssoc.v src/Util/Sum.v src/Util/Sumbool.v src/Util/Tactics.v @@ -284,6 +283,8 @@ src/Util/Unit.v src/Util/WordUtil.v src/Util/ZRange.v src/Util/ZUtil.v +src/Util/Sigma/Associativity.v +src/Util/Sigma/Lift.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/DestructHead.v src/Util/Tactics/DestructHyps.v |