src/HOL/Data_Structures/Tree23_Set.thy
changeset 83017 5e5792b570b1
parent 80628 161286c9d426