src/HOL/Data_Structures/Leftist_Heap.thy
changeset 66787 64b47495676d
parent 66565 ff561d9cb661
child 67406 23307fd33906