thys/MyTree.thy
changeset 32 fa92e8f089a2
parent 29 2345ba5b4264