diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:08 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:08 +0200 |
commit | 9c538122389bc6b87ff093fd72b20d4f46f2cb1a (patch) | |
tree | 51a6c289527426212b2ece9811fabb7b5b96df9e /src/lfsc/ast.mli | |
parent | df788b256509090150660bbceb0251dfa8c3b97c (diff) | |
parent | 418657d21ac936469d62a291033ccada90770f91 (diff) | |
download | smtcoq-9c538122389bc6b87ff093fd72b20d4f46f2cb1a.tar.gz smtcoq-9c538122389bc6b87ff093fd72b20d4f46f2cb1a.zip |
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Diffstat (limited to 'src/lfsc/ast.mli')
0 files changed, 0 insertions, 0 deletions