diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:40:16 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:40:16 +0200 |
commit | 266faf9f8bddb038e48e8bfc4a79b6ad68703a92 (patch) | |
tree | 0cfe44201c38b71236dc38ff061f42bff1ac78c8 /src/extraction/Extract.v | |
parent | e2683e1e653a1b6872a886f4b99218e2803f7a74 (diff) | |
parent | c76fa36e93277bae14de6d85712131f7e126e9e0 (diff) | |
download | smtcoq-266faf9f8bddb038e48e8bfc4a79b6ad68703a92.tar.gz smtcoq-266faf9f8bddb038e48e8bfc4a79b6ad68703a92.zip |
Merge remote-tracking branch 'remotes/origin/master' into coq-8.10
Diffstat (limited to 'src/extraction/Extract.v')
0 files changed, 0 insertions, 0 deletions