src/HOL/Data_Structures/Tree2.thy
changeset 82912 ad66fb23998a
parent 72586 e3ba2578ad9d