History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Binomial_Heap.thy
Revision Date Author Comments
# fb6b5684 25-Jun-2018 nipkow <none@none>

added lemmas; uniform names

--HG--
rename : src/HOL/Data_Structures/Priority_Queue.thy => src/HOL/Data_Structures/Priority_Queue_Specs.thy
# d6194b67 08-May-2018 nipkow <none@none>

new def of sorted and sorted_wrt

--HG--
extra : amend_source : 063fe8412a72415725783d8336fe89d3cd0ca676
# 1c63feef 21-Apr-2018 nipkow <none@none>

dont rename PQ.del_min
# 93bea17d 21-Apr-2018 nipkow <none@none>

del_min -> split_min
# 1fb195a1 22-Jan-2018 Lars Hupel <lars.hupel@mytum.de>

tuned
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# 707c49cf 31-Aug-2017 nipkow <none@none>

added PQ with merge
# ed8e262b 29-Aug-2017 nipkow <none@none>

tuned names
# c4abe8c4 29-Aug-2017 nipkow <none@none>

simpler definition
# c2dac67b 29-Aug-2017 nipkow <none@none>

typo
# b0a33d05 29-Aug-2017 nipkow <none@none>

tuned
# 22294afb 27-Aug-2017 nipkow <none@none>

tuning
# 4a0901be 23-Aug-2017 nipkow <none@none>

reorg
# e736333f 15-Aug-2017 nipkow <none@none>

added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy