רמב"ם (משנה תורה) הלכות תפילה פרק ב הלכה יב
ויום טוב שחל להיות באחד בשבת מתפלל בברכה רביעית בלילה ותודיענו משפטי צדקך ותלמדנו לעשות חקי רצונך ותתן לנו יי׳ אלהינו קדשת שבת וכבוד מועד וחגיגת הרגל בין קדשת שבת לקדשת יום טוב הבדלת ואת יום השביעי מששת ימי המעשה הקדשת (והבדלת והקדשת את עמך ישראל בקדשתך) ותתן לנו ה׳ אלהינו מועדים לשמחה חגים וזמנים לששון וכו׳. ובמוצאי שבת ובמוצאי יום טוב של כל השנה מבדיל באתה חונן אף על פי שהוא מבדיל על הכוס: