元代杂剧《张子房圯桥进履》(李文蔚撰)的简名。见该条。