diff options
| author | Brian Campbell | 2019-02-21 15:13:58 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | 9e0a49a8aa56affa8018e5978616fc01521c50dc (patch) | |
| tree | c3711264a76a7af2a0da6432fb82fa4592cc6427 /lib | |
| parent | 0bb1456fccfd3914b4ec7a714f3479f665711790 (diff) | |
Coq: update tyvar merge information at other binders
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions