Attic/MyTree.thy
changeset 594 62f8fa03863e
parent 95 a33d3040bf7e
equal deleted inserted replaced
593:83fab852d72d 594:62f8fa03863e