diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 15:14:54 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 15:14:54 +0200 |
commit | c3d1cddab0e6746d497ca444cb4a9a1629c3c45e (patch) | |
tree | 6e2c8c765f74228bcee48fda1290ae3ece96f721 /src/PropToBool.v | |
parent | 3b32d02e1e4a565061633e6992a4376d05bbabd3 (diff) | |
parent | 682cd46ec5d166ce0d92dd15a9446f9f1d980f6e (diff) | |
download | smtcoq-c3d1cddab0e6746d497ca444cb4a9a1629c3c45e.tar.gz smtcoq-c3d1cddab0e6746d497ca444cb4a9a1629c3c45e.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions