diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:04:22 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:04:22 +0200 |
commit | b434a65bb31e18643547ec5861382c61b37c3e7a (patch) | |
tree | 9a294e5d3bbe2aaf14c0f12fac26ecdc05ca3ab9 /unit-tests/Tests_zchaff_tactics.v | |
parent | 35ef283a7a9fcc2a805f52711978c73a1386ef29 (diff) | |
parent | d5723431f165f0e42b061d4ad0c5145eef575b0e (diff) | |
download | smtcoq-b434a65bb31e18643547ec5861382c61b37c3e7a.tar.gz smtcoq-b434a65bb31e18643547ec5861382c61b37c3e7a.zip |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13SMTCoq-2.0+8.13
Diffstat (limited to 'unit-tests/Tests_zchaff_tactics.v')
0 files changed, 0 insertions, 0 deletions