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/Syntactic.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/Syntactic.v')
0 files changed, 0 insertions, 0 deletions