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/versions/standard/Int63/Int63Properties_standard.v | |
parent | ff8c032211641b3d0b6482ce0dadc87e957ccb0d (diff) | |
download | smtcoq-44a7c303c34dabd68e8d28c7de6ee54cc03a774b.tar.gz smtcoq-44a7c303c34dabd68e8d28c7de6ee54cc03a774b.zip |
Unit test for double negation
Diffstat (limited to 'src/versions/standard/Int63/Int63Properties_standard.v')
0 files changed, 0 insertions, 0 deletions