diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:02:03 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:02:03 +0200 |
| commit | d5723431f165f0e42b061d4ad0c5145eef575b0e (patch) | |
| tree | eb6b9700814237c65ca1ebc9e446134f66fa94d6 /src/cnf/Cnf.v | |
| parent | f336abf5eae6eb0f664e2af4940df18fb47cc35f (diff) | |
| parent | e83236952ab0b4f2f486c2d89581349a3215bdb8 (diff) | |
| download | smtcoq-d5723431f165f0e42b061d4ad0c5145eef575b0e.tar.gz smtcoq-d5723431f165f0e42b061d4ad0c5145eef575b0e.zip | |
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12SMTCoq-2.0+8.12
Diffstat (limited to 'src/cnf/Cnf.v')
0 files changed, 0 insertions, 0 deletions