diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 3bba84956..942930051 100644 --- a/_CoqProject +++ b/_CoqProject @@ -286,16 +286,34 @@ src/Util/ZUtil.v src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Tactics/BreakMatch.v +src/Util/Tactics/ClearDuplicates.v +src/Util/Tactics/Contains.v +src/Util/Tactics/ConvoyDestruct.v +src/Util/Tactics/DebugPrint.v src/Util/Tactics/DestructHead.v src/Util/Tactics/DestructHyps.v +src/Util/Tactics/DestructTrivial.v src/Util/Tactics/DoWithHyp.v +src/Util/Tactics/ESpecialize.v src/Util/Tactics/ETransitivity.v src/Util/Tactics/EvarExists.v +src/Util/Tactics/Forward.v +src/Util/Tactics/GetGoal.v src/Util/Tactics/Head.v +src/Util/Tactics/Not.v +src/Util/Tactics/OnSubterms.v +src/Util/Tactics/Revert.v src/Util/Tactics/RewriteHyp.v +src/Util/Tactics/SetEvars.v +src/Util/Tactics/SetoidSubst.v +src/Util/Tactics/SideConditionsBeforeToAfter.v +src/Util/Tactics/SimplifyProjections.v +src/Util/Tactics/SimplifyRepeatedIfs.v src/Util/Tactics/SpecializeBy.v src/Util/Tactics/SplitInContext.v +src/Util/Tactics/SubstEvars.v src/Util/Tactics/SubstLet.v +src/Util/Tactics/Test.v src/Util/Tactics/UnifyAbstractReflexivity.v src/Util/Tactics/UniquePose.v src/Util/Tactics/VM.v |