HomeIsabelle/Phabricator

avoid clash with (new) global if_split

Authored by nipkow.

Description

avoid clash with (new) global if_split

Details

Committed
nipkowFeb 24 2016, 4:47 PM
Parents
rAFP5fa209e31f09: merged
Branches
Unknown
Tags
Unknown

Event Timeline