HomeIsabelle/Phabricator

unclear why I ever asked for type tree2

Authored by nipkow.