diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-11-02 18:28:47 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-11-02 18:28:47 +0100 |
| commit | 0a599dca5b7988ce5c28a641dfdfcca14ff18863 (patch) | |
| tree | f61f22e48aca3c0d03740a07858219b76cc9194a /src/euf/Euf.v | |
| parent | ba2b05515d4f57d96a496b08a1dc1e89b23a92a2 (diff) | |
| download | smtcoq-0a599dca5b7988ce5c28a641dfdfcca14ff18863.tar.gz smtcoq-0a599dca5b7988ce5c28a641dfdfcca14ff18863.zip | |
New version of veriT
Diffstat (limited to 'src/euf/Euf.v')
0 files changed, 0 insertions, 0 deletions