diff options
| author | Brian Campbell | 2019-03-19 16:33:12 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-19 16:36:18 +0000 |
| commit | 3f08b437b3b794cf89bde54fdb2e620534793f4d (patch) | |
| tree | 514e7f9744d49a50abbda93135a259403870c45c /language/jib.ott | |
| parent | 185d179372ce91428b800b877ffaa2b680d78722 (diff) | |
Coq: simplify away more trivial bools
Diffstat (limited to 'language/jib.ott')
0 files changed, 0 insertions, 0 deletions