diff options
| author | Brian Campbell | 2018-10-01 18:02:58 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-10-01 18:02:58 +0100 |
| commit | 96f22283ae86523331e803a7affe2f8e49a4fe0f (patch) | |
| tree | 8e5a55f510523d9312544f9c6c11239da5d76d7f /power/power_extras_embed_sequential.lem | |
| parent | 10381b8ac556e2711af6516d0beade4ad923aa81 (diff) | |
Extend Coq pattern match completeness rewrite to let patterns
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions