diff options
| author | Brian Campbell | 2019-02-20 11:47:46 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | 78281d7e30a4d59f499895fae2960248d936eaf9 (patch) | |
| tree | d0e84f699bc7f37880c24fbd85f28d9cb6dbe18b /power/power_extras_embed_sequential.lem | |
| parent | 2fd45fa939ddae7cdb31ee0495e622e6e6a6235f (diff) | |
Coq: strip informative bools back to more uniform types
Also make pretty printing more keen on line breaking
Diffstat (limited to 'power/power_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions