diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:12:29 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 15:18:44 +0100 |
| commit | 93a3e47a7c4865789f8e84f427cd639a19063e08 (patch) | |
| tree | 8884c13a2c52af7d03ad789a79e7fc9ef28eae55 /src/PropToBool.v | |
| parent | 737749a2ad1a538fcb24526dd9cf4fbb8aecfd54 (diff) | |
| parent | ea6db904047d172bc958d65ec5046cd2b93cd3cb (diff) | |
| download | smtcoq-93a3e47a7c4865789f8e84f427cd639a19063e08.tar.gz smtcoq-93a3e47a7c4865789f8e84f427cd639a19063e08.zip | |
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions