diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 11:10:22 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 11:10:22 +0100 |
commit | 1c5d8f0b46b601b0c8a288f7de156225dd50dd66 (patch) | |
tree | f8a7b24e6d8f91d624f80dff757768d56c6fc7e2 /src/versions/standard/Int63/Int63Properties_standard.v | |
parent | 2fdaf566e83897ed46127791d731f5788c22907c (diff) | |
download | smtcoq-1c5d8f0b46b601b0c8a288f7de156225dd50dd66.tar.gz smtcoq-1c5d8f0b46b601b0c8a288f7de156225dd50dd66.zip |
Improve make cleanall
Diffstat (limited to 'src/versions/standard/Int63/Int63Properties_standard.v')
0 files changed, 0 insertions, 0 deletions