src/HOL/Library/Tree.thy
changeset 62337 d3996d5873dd
parent 62202 e5bc7cbb0bcc
child 62650 7e6bb43e7217