diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-01-12 17:43:40 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-01-12 17:43:40 +0100 |
| commit | 44a7c303c34dabd68e8d28c7de6ee54cc03a774b (patch) | |
| tree | a9ba244d6964a851865ba2f672ae9fab8aadb3a3 /src | |
| parent | ff8c032211641b3d0b6482ce0dadc87e957ccb0d (diff) | |
| download | smtcoq-44a7c303c34dabd68e8d28c7de6ee54cc03a774b.tar.gz smtcoq-44a7c303c34dabd68e8d28c7de6ee54cc03a774b.zip | |
Unit test for double negation
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions