thys/MyTree.thy
changeset 73 6e035162345a
parent 29 2345ba5b4264
equal deleted inserted replaced
72:9128b9440e93 73:6e035162345a