thys/MyTree.thy
changeset 92 98d0d77005f3
parent 29 2345ba5b4264
equal deleted inserted replaced
91:f067e59b58d9 92:98d0d77005f3