diff options
| author | Brian Campbell | 2019-12-06 10:45:19 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-12-06 10:45:19 +0000 |
| commit | 235a320e94b432c3ccf021d77c6e8303e1d1a19d (patch) | |
| tree | af58f8737d3c8c2aeeabb454d42f3231f0df76fe /x86 | |
| parent | d3c7951842da31b511709bb2c6655ebb2e285914 (diff) | |
Coq: use proof irrelevance for a few properties
Includes removing an explicit use of a lemma generated by abstract, which
was causing problems with different versions of Coq because the names
change.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions