src/HOL/Data_Structures/Binomial_Heap.thy
14 months ago nipkow 2018-04-21 del_min -> split_min
17 months ago Lars Hupel 2018-01-22 tuned
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
21 months ago nipkow 2017-08-31 added PQ with merge
21 months ago nipkow 2017-08-29 tuned names
21 months ago nipkow 2017-08-29 simpler definition
21 months ago nipkow 2017-08-29 typo
21 months ago nipkow 2017-08-29 tuned
21 months ago nipkow 2017-08-27 tuning
22 months ago nipkow 2017-08-23 reorg
22 months ago nipkow 2017-08-15 added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy