HomeIsabelle/Phabricator

Replace a conditional branch round an unconditional branch by a conditional…

Description

Replace a conditional branch round an unconditional branch by a conditional branch with the opposite sense.
This case seems to arise with "orelse".

Details

Provenance
dcjmAuthored on Oct 7 2020, 5:03 PM
Parents
rPOLYML306f1960555a: Link branches together to avoid a branch to a branch.
Branches
Unknown
Tags
Unknown