diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 13:16:12 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 13:16:12 +0100 |
commit | e3ff85dccf62b497cd017d2b55e08e7f49ebd80f (patch) | |
tree | 8386e6f8989a8770062eb796ee4fd0be3fab082f /src/euf | |
parent | 5705e360d5948369639939c08ef9f77328fb8226 (diff) | |
download | smtcoq-e3ff85dccf62b497cd017d2b55e08e7f49ebd80f.tar.gz smtcoq-e3ff85dccf62b497cd017d2b55e08e7f49ebd80f.zip |
Removed old port to Coq 8.4
Diffstat (limited to 'src/euf')
0 files changed, 0 insertions, 0 deletions