diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-06-18 14:59:56 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-06-18 14:59:56 +0200 |
commit | 74aa0e2a6879e2bd062a881bc5fc474374d3c357 (patch) | |
tree | 1d778cdc7794677f0f5a91ab9d1a83df5b86af49 /src/spl/Operators.v | |
parent | 698c8ffb48bf01356bda052711bed074662b2401 (diff) | |
download | smtcoq-74aa0e2a6879e2bd062a881bc5fc474374d3c357.tar.gz smtcoq-74aa0e2a6879e2bd062a881bc5fc474374d3c357.zip |
Corrected a bug in the generation of certificates for CNF computation of iff
Diffstat (limited to 'src/spl/Operators.v')
0 files changed, 0 insertions, 0 deletions