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