diff options
| author | Brian Campbell | 2019-05-29 19:10:49 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-29 19:11:09 +0100 |
| commit | 51d01d8bacc8d117210984c48c54b17e35236848 (patch) | |
| tree | 63c6117520f4f08c48a94efd77176ce6fc126098 /doc | |
| parent | 1308bdc1fd4785e37f00e4436b2cd9f4c8e8fad7 (diff) | |
Coq: more solver improvements
- don't clear boolean local definitions - we need those now
- some boolean disjunction fixes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions