diff options
| author | Brian Campbell | 2019-02-20 13:47:10 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | a49a5087d0a2aa25f87bf17a1baa71a29e260b72 (patch) | |
| tree | 12bba02795c28f2747fb28e3e4ab43598024755f /power/power_extras_embed_sequential.lem | |
| parent | 78281d7e30a4d59f499895fae2960248d936eaf9 (diff) | |
Coq: merge tyvars with corresponding variables
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions