diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:08 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:08 +0200 |
| commit | 9c538122389bc6b87ff093fd72b20d4f46f2cb1a (patch) | |
| tree | 51a6c289527426212b2ece9811fabb7b5b96df9e /unit-tests/Tests_verit_tactics.v | |
| parent | df788b256509090150660bbceb0251dfa8c3b97c (diff) | |
| parent | 418657d21ac936469d62a291033ccada90770f91 (diff) | |
| download | smtcoq-9c538122389bc6b87ff093fd72b20d4f46f2cb1a.tar.gz smtcoq-9c538122389bc6b87ff093fd72b20d4f46f2cb1a.zip | |
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Diffstat (limited to 'unit-tests/Tests_verit_tactics.v')
0 files changed, 0 insertions, 0 deletions