src/HOL/Data_Structures/Priority_Queue.thy
changeset 66787 64b47495676d
parent 66565 ff561d9cb661
child 68020 6aade817bee5