diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:24:16 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:24:16 +0200 |
| commit | 956c3c4681967107cdf682432ce5c90553af000b (patch) | |
| tree | e9c480479df2215bf15cf01755a8b95e19955e71 /unit-tests/Tests_verit_tactics.v | |
| parent | edac14e7d47934636660e0d04c1d5a2cc43190cc (diff) | |
| parent | a438e1c168b36b1b24ce71ba091d549ba3917b3b (diff) | |
| download | smtcoq-956c3c4681967107cdf682432ce5c90553af000b.tar.gz smtcoq-956c3c4681967107cdf682432ce5c90553af000b.zip | |
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Diffstat (limited to 'unit-tests/Tests_verit_tactics.v')
0 files changed, 0 insertions, 0 deletions