diff options
| author | Brian Campbell | 2019-03-05 15:13:15 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-05 15:13:15 +0000 |
| commit | 98f447e1ca70999350dac4b7a0d3fbce5c64071b (patch) | |
| tree | 322039369b442f03aa82fee1a3d2fb246f70eb5b /aarch64_small | |
| parent | 701b188b6f17d9f54480654e5959c606a8947c88 (diff) | |
Coq: firstorder is better at the boolean goals
Diffstat (limited to 'aarch64_small')
0 files changed, 0 insertions, 0 deletions