diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-05-02 00:41:30 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-05-02 00:41:30 +0200 |
| commit | 663a870b7e20f32b4b20cad6baa865df4058e595 (patch) | |
| tree | ddb46c5e56c3745222272140e0fce61cdd721c1b /src/lia | |
| parent | fb4e5e5be1cc365e3a2ae1758c385ee0fc51e10a (diff) | |
| download | smtcoq-663a870b7e20f32b4b20cad6baa865df4058e595.tar.gz smtcoq-663a870b7e20f32b4b20cad6baa865df4058e595.zip | |
Example.v: new paths for Coq 8.5
Diffstat (limited to 'src/lia')
0 files changed, 0 insertions, 0 deletions