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/verit | |
parent | fb4e5e5be1cc365e3a2ae1758c385ee0fc51e10a (diff) | |
download | smtcoq-663a870b7e20f32b4b20cad6baa865df4058e595.tar.gz smtcoq-663a870b7e20f32b4b20cad6baa865df4058e595.zip |
Example.v: new paths for Coq 8.5
Diffstat (limited to 'src/verit')
0 files changed, 0 insertions, 0 deletions