added the thms-collection "pt_id" (collection of all pt_<ak>1 lemmas)
added the thms-collection "pt_id" (collection of all pt_<ak>1 lemmas)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle