diff options
| author | Brian Campbell | 2019-03-05 12:13:53 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-05 12:13:53 +0000 |
| commit | 080205194a861882918e10de7680201c64f99142 (patch) | |
| tree | 4a4818a55985db6b5ed908c6708727c5443572ec /aarch64_small | |
| parent | 361458ae5dbe8414b5a7ba1bc51ece8ebcfd5bc5 (diff) | |
Coq: output type-level Int definitions
Diffstat (limited to 'aarch64_small')
0 files changed, 0 insertions, 0 deletions