diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-21 13:55:30 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-21 13:55:30 +0100 |
| commit | d6dd4cd1b3afddf77872dd1fcf128837e92840f7 (patch) | |
| tree | 62e612eb0c7b0d468eff57bc69817ebe0b8746d3 /3rdparty | |
| parent | 7a16f9d5a06abeb029abd54c29d8396f11fa58c9 (diff) | |
| download | smtcoq-d6dd4cd1b3afddf77872dd1fcf128837e92840f7.tar.gz smtcoq-d6dd4cd1b3afddf77872dd1fcf128837e92840f7.zip | |
Comments for conversion tactics
Diffstat (limited to '3rdparty')
0 files changed, 0 insertions, 0 deletions