src/HOL/Data_Structures/Priority_Queue.thy
14 months ago nipkow 2018-04-21 del_min -> split_min
22 months ago nipkow 2017-08-31 added PQ with merge
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
22 months ago nipkow 2017-08-15 added Min_mset and Max_mset
22 months ago nipkow 2017-08-14 separate file for priority queue interface; extended Leftist_Heap.