diff options
| author | Brian Campbell | 2019-03-12 11:09:33 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-12 11:10:18 +0000 |
| commit | c3d10cdb1787077425e174fa638f1d43de7c797f (patch) | |
| tree | 7cbcdfc0f2223090f7a8797faddc158fd6279b44 /doc | |
| parent | 711de1e76e82026e361f232010304175f0542c3d (diff) | |
Coq: fix some boolean issues seen in arm
Fixes bad precedence issues, removes an out-of-date special case that's
not necessary, and solves more goals.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions