src/HOL/Data_Structures/Leftist_Heap.thy
14 months ago nipkow 2018-04-21 del_min -> split_min
17 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
21 months ago nipkow 2017-08-31 added PQ with merge
22 months ago nipkow 2017-08-27 tuning
22 months ago nipkow 2017-08-24 tuned
22 months ago nipkow 2017-08-23 reorg
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.
2017-02-02 nipkow 2017-02-02 tuned proof
2017-02-01 nipkow 2017-02-01 renaming
2017-02-01 nipkow 2017-02-01 added is_empty
2017-02-01 nipkow 2017-02-01 tuned
2017-02-01 nipkow 2017-02-01 tuned
2017-01-31 nipkow 2017-01-31 proper priority queue spec
2016-03-24 nipkow 2016-03-24 added Leftist_Heap