diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-04-14 18:01:15 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-04-14 18:01:15 +0200 |
| commit | 65c185275f8c78908c1496c6665bc7fd50a4607b (patch) | |
| tree | 3d68caf8b482563c01ada2cf426f7f96d6fda76a /src/PropToBool.v | |
| parent | deb9927455bcb3b506d17a63a9b7b5ec11fe9027 (diff) | |
| download | smtcoq-65c185275f8c78908c1496c6665bc7fd50a4607b.tar.gz smtcoq-65c185275f8c78908c1496c6665bc7fd50a4607b.zip | |
Clean-up
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions