src/HOL/Data_Structures/Leftist_Heap.thy
2016-03-24 nipkow 2016-03-24 added Leftist_Heap