diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-11-15 17:37:04 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-11-15 17:37:04 +0100 |
| commit | f6e575e0736a80b4c253be48b3c4c58cc5101137 (patch) | |
| tree | ef7668edb380bf2905a8b96b5296678abab03679 /src/SMT_terms.v | |
| parent | 469eaf98bc6e0c6de32ec8dd67ddd9baa7ff30d5 (diff) | |
| parent | 0a459d80f75f0abbc60936c3e5b99d993272ce6b (diff) | |
| download | smtcoq-f6e575e0736a80b4c253be48b3c4c58cc5101137.tar.gz smtcoq-f6e575e0736a80b4c253be48b3c4c58cc5101137.zip | |
Merge remote-tracking branch 'origin/master' into coq-8.10
Diffstat (limited to 'src/SMT_terms.v')
0 files changed, 0 insertions, 0 deletions