diff options
| author | Brian Campbell | 2018-07-12 12:35:48 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 12:35:48 +0100 |
| commit | fb33182ec89cfc4307ce5f04aa5e46d1c3c2716d (patch) | |
| tree | 05856f6dccd53cfc0650b59db9e3004657158062 /lib | |
| parent | d4c2a2d51e16cf483c67dfc4d589ded9a2e29417 (diff) | |
Coq: more accurate autocast insertion
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions