HomeIsabelle/Phabricator

Use conditional-set to create boolean results.

Description

Use conditional-set to create boolean results.

Details

Provenance
dcjmAuthored on Jan 21 2022, 7:57 PM
Parents
rPOLYML87d52e4583ad: Change optimiser as a result of change to tests of booleans.
Branches
Unknown
Tags
Unknown