added lemmas; uniform names --HG-- rename : src/HOL/Data_Structures/Priority_Queue.thy => src/HOL/Data_Structures/Priority_Queue_Specs.thy