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/alt-ergo/smtlib2_util.ml | |
parent | 7a16f9d5a06abeb029abd54c29d8396f11fa58c9 (diff) | |
download | smtcoq-d6dd4cd1b3afddf77872dd1fcf128837e92840f7.tar.gz smtcoq-d6dd4cd1b3afddf77872dd1fcf128837e92840f7.zip |
Comments for conversion tactics
Diffstat (limited to '3rdparty/alt-ergo/smtlib2_util.ml')
0 files changed, 0 insertions, 0 deletions