diff options
| author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-27 15:39:35 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 15:39:35 +0200 |
| commit | 0334ceccaf14716d81db8a73f7d414d33b91cd8b (patch) | |
| tree | 9880cfed3e65f2cc6eb7c063ee52c339f0412ed7 /src/versions | |
| parent | db9bb4f7ba88c938e882f9a30c6456d73b793491 (diff) | |
| download | smtcoq-0334ceccaf14716d81db8a73f7d414d33b91cd8b.tar.gz smtcoq-0334ceccaf14716d81db8a73f7d414d33b91cd8b.zip | |
Zeq_bool -> Z.eqb
Diffstat (limited to 'src/versions')
0 files changed, 0 insertions, 0 deletions