doc-src/TutorialI/Misc/Tree2.thy
changeset 12584 cf5a342ce698
parent 9792 bbefb6ce5cb2
child 13305 f88d0c363582
equal deleted inserted replaced
12583:2fcf06f05afa 12584:cf5a342ce698