diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:37:49 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:37:49 +0100 |
commit | 861a47690d7cb52bcb0dc41738982b85f2e6ffb5 (patch) | |
tree | 0c5f0758282ef3fcf4da76baab384aa18358dc4c /USE.md | |
parent | 72cbdc49bec8032619ff4e8ab216f03901c03351 (diff) | |
download | smtcoq-861a47690d7cb52bcb0dc41738982b85f2e6ffb5.tar.gz smtcoq-861a47690d7cb52bcb0dc41738982b85f2e6ffb5.zip |
Correct links
Diffstat (limited to 'USE.md')
0 files changed, 0 insertions, 0 deletions