Commit 0f638c64 authored by David Brazdil's avatar David Brazdil Committed by Gerrit Code Review
Browse files

Merge "Extend De Morgan factorisation to `HBooleanNot`."

parents 11aa3f5c 9f98025b
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment