thys/MyTree.thy
changeset 32 fa92e8f089a2
parent 29 2345ba5b4264
equal deleted inserted replaced
31:238c98db6057 32:fa92e8f089a2