diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:46:49 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:46:49 +0100 |
| commit | febbbff65ac03cc600846c4100ecadada433f816 (patch) | |
| tree | fce7b92f64d7b9231ac915a7e8e8f164e7ec712d /src/versions/standard/Array/PArray_standard.v | |
| parent | ed4869bbc741a0e62e5e57b5289b1c202cd71e7f (diff) | |
| download | smtcoq-febbbff65ac03cc600846c4100ecadada433f816.tar.gz smtcoq-febbbff65ac03cc600846c4100ecadada433f816.zip | |
The current version of SMTCoq does not support SMTLIB "let" anymore
Diffstat (limited to 'src/versions/standard/Array/PArray_standard.v')
0 files changed, 0 insertions, 0 deletions