History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Priority_Queue_Specs.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