History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Leftist_Heap.thy
Revision Date Author Comments
# 9c1785da 06-Jul-2018 nipkow <none@none>

more symmetric
# 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
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

tuned order of arguments
# 1c63feef 21-Apr-2018 nipkow <none@none>

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

del_min -> split_min
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 707c49cf 31-Aug-2017 nipkow <none@none>

added PQ with merge
# 22294afb 27-Aug-2017 nipkow <none@none>

tuning
# 035734aa 24-Aug-2017 nipkow <none@none>

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

reorg
# 7995a135 15-Aug-2017 nipkow <none@none>

added Min_mset and Max_mset
# d8df4045 14-Aug-2017 nipkow <none@none>

separate file for priority queue interface; extended Leftist_Heap.
# 2f277934 02-Feb-2017 nipkow <none@none>

tuned proof
# 622fbecc 01-Feb-2017 nipkow <none@none>

renaming
# 450efe8d 01-Feb-2017 nipkow <none@none>

added is_empty
# f949fe0c 01-Feb-2017 nipkow <none@none>

tuned
# ba283646 31-Jan-2017 nipkow <none@none>

tuned
# 9367c47e 31-Jan-2017 nipkow <none@none>

proper priority queue spec
# 2c44aa19 24-Mar-2016 nipkow <none@none>

added Leftist_Heap