diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:43:44 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:43:44 +0200 |
commit | ff373512da45887621edddf775680bbf1ac7f0b5 (patch) | |
tree | 1344ee6173de82883083f7c18f5cdbe7921757b9 /src/trace/coqTerms.mli | |
parent | 4fbae4115d10166f7dab7c02cee01b1bacc61ac7 (diff) | |
parent | 9f2ad0d53d9a26a6f12d35ec43cfbd412cfdee2f (diff) | |
download | smtcoq-ff373512da45887621edddf775680bbf1ac7f0b5.tar.gz smtcoq-ff373512da45887621edddf775680bbf1ac7f0b5.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12
Diffstat (limited to 'src/trace/coqTerms.mli')
0 files changed, 0 insertions, 0 deletions