diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-26 15:15:06 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-26 15:15:06 +0200 |
| commit | 36e5640e784c18075778c4a95592c23f07fc3afc (patch) | |
| tree | ac0debd6180353b154511bcb883fd41c26bf0a4e /unit-tests | |
| parent | 4be43131e2b3dc60a530de5b3a8f23cd93564ad7 (diff) | |
| download | smtcoq-36e5640e784c18075778c4a95592c23f07fc3afc.tar.gz smtcoq-36e5640e784c18075778c4a95592c23f07fc3afc.zip | |
More straightforward definitions in Int63Native_standard
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions