diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:01:19 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:01:19 +0200 |
| commit | e83236952ab0b4f2f486c2d89581349a3215bdb8 (patch) | |
| tree | 71734273b9cfb776ee64e5cb66c91986d56635cf /src/SMT_terms.v | |
| parent | 677d88d7d3c48a43a45526ed72000d9c8c8a6e8b (diff) | |
| download | smtcoq-e83236952ab0b4f2f486c2d89581349a3215bdb8.tar.gz smtcoq-e83236952ab0b4f2f486c2d89581349a3215bdb8.zip | |
Remove unused record fieldSMTCoq-2.0+8.11
Diffstat (limited to 'src/SMT_terms.v')
0 files changed, 0 insertions, 0 deletions