diff options
| author | Brian Campbell | 2018-05-29 12:31:54 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 0f7f8d3ead1463b90353d00d0b48fdca151e8a84 (patch) | |
| tree | 18a844fc9de03a023c5ee6e1cb79d92d00d42d00 /lib | |
| parent | 273095efe710550df5bd16348242d6704190cdc8 (diff) | |
Coq: correct implicitness of type arguments in unions
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions