diff options
| author | Brian Campbell | 2018-07-12 13:20:41 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 13:20:41 +0100 |
| commit | d3c75495194f810a89d10fede3ea377074af6f53 (patch) | |
| tree | 70ba08690e951f5dd35af458a3f0337753432638 /power/power_extras_embed_sequential.lem | |
| parent | fb33182ec89cfc4307ce5f04aa5e46d1c3c2716d (diff) | |
Coq: remove unnecessary constraint on foreach loops
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions