diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2017-10-03 11:20:59 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2017-10-03 11:20:59 +0200 |
commit | 48e123caddd6a4c4edd60d8f39b78a5421418f40 (patch) | |
tree | 983e804bacb76874c1f10f8f5319b21517f751bc /src/zchaff/cnfParser.mli | |
parent | ca5213e2a653640cab6d98c1b0e799262b6be33d (diff) | |
download | smtcoq-48e123caddd6a4c4edd60d8f39b78a5421418f40.tar.gz smtcoq-48e123caddd6a4c4edd60d8f39b78a5421418f40.zip |
Compiles with both versions of Coq
Diffstat (limited to 'src/zchaff/cnfParser.mli')
0 files changed, 0 insertions, 0 deletions