diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:38:44 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:38:44 +0200 |
| commit | c8a696682fcbdc720d67eb8d93f2c0c5b5c03548 (patch) | |
| tree | 0f152937cc283e28f14f4208a4ad2bc96380bcc9 /unit-tests | |
| parent | 9c9faf18affce1c7b561b93584a779d8b6f36b2f (diff) | |
| download | smtcoq-c8a696682fcbdc720d67eb8d93f2c0c5b5c03548.tar.gz smtcoq-c8a696682fcbdc720d67eb8d93f2c0c5b5c03548.zip | |
Define substitution conformly to SMT-LIB
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions