diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:20:35 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:20:35 +0100 |
commit | cc1734c1bc641b0d00a34264c65bfb2604f7aea5 (patch) | |
tree | 71180df48533ddd28decb8a025c081520b5d3cff /src/State.v | |
parent | 4f2c547c3540d16fcfbade26e3bd9106f5878520 (diff) | |
parent | c13ff15571392b111ad0b335d10077ad7958d069 (diff) | |
download | smtcoq-cc1734c1bc641b0d00a34264c65bfb2604f7aea5.tar.gz smtcoq-cc1734c1bc641b0d00a34264c65bfb2604f7aea5.zip |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'src/State.v')
0 files changed, 0 insertions, 0 deletions