diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:56:33 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:56:33 +0200 |
commit | f336abf5eae6eb0f664e2af4940df18fb47cc35f (patch) | |
tree | 308436c9b006d78a55d61c924fdc80e3cfa27a0b /src/cnf/Cnf.v | |
parent | 1f21e1f95d43f5e76e38e1737de9a2a0322fd71c (diff) | |
parent | 677d88d7d3c48a43a45526ed72000d9c8c8a6e8b (diff) | |
download | smtcoq-f336abf5eae6eb0f664e2af4940df18fb47cc35f.tar.gz smtcoq-f336abf5eae6eb0f664e2af4940df18fb47cc35f.zip |
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Diffstat (limited to 'src/cnf/Cnf.v')
0 files changed, 0 insertions, 0 deletions