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/smtlib2/smtlib2_genConstr.ml | |
| parent | 5705e360d5948369639939c08ef9f77328fb8226 (diff) | |
| download | smtcoq-e3ff85dccf62b497cd017d2b55e08e7f49ebd80f.tar.gz smtcoq-e3ff85dccf62b497cd017d2b55e08e7f49ebd80f.zip | |
Removed old port to Coq 8.4
Diffstat (limited to 'src/smtlib2/smtlib2_genConstr.ml')
0 files changed, 0 insertions, 0 deletions