diff options
| author | Brian Campbell | 2019-03-20 17:26:58 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-20 17:26:58 +0000 |
| commit | e6ae1eab6c2e239b78153cbb5a3fb234c72eb088 (patch) | |
| tree | 833f71c13595a828961bf24464e3fefef6f97da6 /src/pretty_print_sail.ml | |
| parent | a8c9a4d2baec6329c3cf486978baa180068034d3 (diff) | |
Coq: do more (and more uniform) simplification
Diffstat (limited to 'src/pretty_print_sail.ml')
0 files changed, 0 insertions, 0 deletions