diff options
| author | Brian Campbell | 2018-07-12 15:36:33 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 15:36:33 +0100 |
| commit | 3e8afd335d1648b700fa04c80312326aec49c9c0 (patch) | |
| tree | 389033a1683995ffef532f67641e13ba17b23d6b /src/c_backend.ml | |
| parent | f3d480d3fee8c28c1dd1975117149ddcd47d989f (diff) | |
Coq: handle all bool conjunctions/disjunctions
Diffstat (limited to 'src/c_backend.ml')
0 files changed, 0 insertions, 0 deletions