diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:10:15 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:10:15 +0100 |
| commit | ea6db904047d172bc958d65ec5046cd2b93cd3cb (patch) | |
| tree | 66ddf349bfb99e08bc335a80b443b24239c4fdfa /src/PropToBool.v | |
| parent | d63d54bafb1c5c9ddca09c0f2be2d04a5c1e9624 (diff) | |
| parent | 772f19d20ec6af11259c1aea2095547944d63086 (diff) | |
| download | smtcoq-ea6db904047d172bc958d65ec5046cd2b93cd3cb.tar.gz smtcoq-ea6db904047d172bc958d65ec5046cd2b93cd3cb.zip | |
Merge remote-tracking branch 'vblot/coq-8.10-foldi_iter' into coq-8.10
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions