src/HOL/Data_Structures/Queue_2Lists.thy
changeset 78659 b5f3d1051b13
parent 72642 d152890dd17e
child 79138 e6ae63d1b480