aboutsummaryrefslogtreecommitdiffstats
path: root/src/State.v
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2022-02-18 15:20:35 +0100
committerChantal Keller <Chantal.Keller@lri.fr>2022-02-18 15:20:35 +0100
commitcc1734c1bc641b0d00a34264c65bfb2604f7aea5 (patch)
tree71180df48533ddd28decb8a025c081520b5d3cff /src/State.v
parent4f2c547c3540d16fcfbade26e3bd9106f5878520 (diff)
parentc13ff15571392b111ad0b335d10077ad7958d069 (diff)
downloadsmtcoq-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