HomeIsabelle/Phabricator

wait for E 2.7 before using 'ite' in HO mode