HomeIsabelle/Phabricator

Use conditional branches directly for some simple tests rather than generating…

Description

Use conditional branches directly for some simple tests rather than generating boolean results and testing them.

Details

Provenance
dcjmAuthored on Mar 8 2021, 2:23 PM
Parents
rPOLYML9b4bf3f26ca8: Refactor: Split the binary operations into separate clauses.
Branches
Unknown
Tags
Unknown