HomeIsabelle/Phabricator

summarized structural and ordering invariant for trees