src/HOL/Data_Structures/Tree23.thy
changeset 66787 64b47495676d
parent 66302 fd89f97c80c2
child 70273 acc1749c2be9