diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:43:26 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:43:26 +0200 |
commit | a1d76ab05464ec306357d7bf64f6b05caf34ca55 (patch) | |
tree | 637c7b59111b4a4df6e8b15a7c1945a5644ff330 /src/ReflectFacts.v | |
parent | fa531ff0ef33557d38584f03126caea9507a5a67 (diff) | |
parent | 266faf9f8bddb038e48e8bfc4a79b6ad68703a92 (diff) | |
download | smtcoq-a1d76ab05464ec306357d7bf64f6b05caf34ca55.tar.gz smtcoq-a1d76ab05464ec306357d7bf64f6b05caf34ca55.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/ReflectFacts.v')
0 files changed, 0 insertions, 0 deletions