diff options
| author | Brian Campbell | 2019-03-05 12:16:17 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-05 12:16:17 +0000 |
| commit | 542533ac7cbef0377de8413c3ac84c6fff2b9964 (patch) | |
| tree | 85c7f0949593c21658d6d4f64f1e1a35223302fd /aarch64_small | |
| parent | 8e8684e97e063912e53fdcade132051f09304d55 (diff) | |
Coq: use more local type information when constructing tuples
Diffstat (limited to 'aarch64_small')
0 files changed, 0 insertions, 0 deletions