HomeIsabelle/Phabricator

operations AND, OR, XOR are specified by characteristic recursive equation