diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:32:14 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:32:14 +0200 |
commit | a5c80da035230f46c95aa32145e5d53cf17bf9f7 (patch) | |
tree | 46cbca4d4b2ea745daf33ac9f74cd87e93e2b009 /src/spl/Assumptions.v | |
parent | f74ac52e9c76260b9c87d3972fcb04e7e7e051ad (diff) | |
parent | b81fc31f55c42137cdc50fd07fc34959e23a4ec3 (diff) | |
download | smtcoq-a5c80da035230f46c95aa32145e5d53cf17bf9f7.tar.gz smtcoq-a5c80da035230f46c95aa32145e5d53cf17bf9f7.zip |
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/spl/Assumptions.v')
0 files changed, 0 insertions, 0 deletions