HomeIsabelle/Phabricator

avoid clash with (new) global if_split

Description

avoid clash with (new) global if_split

Details

Provenance
nipkowAuthored on
Parents
rAFP5fa209e31f09: merged
Branches
Unknown
Tags
Unknown

Event Timeline