diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:57:34 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:57:34 +0100 |
commit | cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4 (patch) | |
tree | 171ba014499934495162977fd21175274721a7f4 /src/versions/standard/Tactics_standard.v | |
parent | 69724e440adead500b1448109c9062903cc1987c (diff) | |
parent | f48ca6bde2cd2940e0e0051e36953717470f269a (diff) | |
download | smtcoq-cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4.tar.gz smtcoq-cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4.zip |
Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11
Diffstat (limited to 'src/versions/standard/Tactics_standard.v')
0 files changed, 0 insertions, 0 deletions