Shulján Aruj, Óraj Jaim 487:1
סדר תפלת ערבית של פסח. ובו ד סעיפים: סדר היום ערבית ושחרית ומנחה אומר שלש ראשונו' ושלש אחרונו' וקדושת היום באמצע אתה בחרתנו וכו' ותתן לנו יי אלהינו את יום חג המצות הזה את יום טוב מקרא קודש הזה (ע"ל סי' ת"צ סעיף ג') זמן חירותינו יעלה ויבא והשיאנו וחותם מקדש ישראל והזמני' ואם אמר מקדש השבת וחזר בו תוך כדי דיבור יצא אחרי שהוא יודע שהוא יום טוב ואם חל בשבת אומר את יום המנוח הזה ואת יום חג המצו' הזה וחותם מקדש השבת וישראל והזמנים ואין אומרים ברכת מעין שבע:
Orden de la plegaria de Arvit de Pésaj. Contiene cuatro apartados: En las plegarias de Arvit, Shajarit y Minjá se recitan las tres primeras y las tres últimas bendiciones de la Amidá, y en medio se introduce la santidad del día: «Tú nos elegiste», etc.; «Y nos concediste, Adonai nuestro Dios, este día de la festividad de las matzot, este día festivo de santa convocación» (véase el capítulo 490, apartado 3), «tiempo de nuestra libertad», «Yaalé veyavó» y «Vehasiénu». Se concluye: «Que santifica a Israel y los tiempos festivos». Si dijo «Que santifica el Shabat» y lo corrigió inmediatamente, cumple la obligación, puesto que sabe que es Yom Tov. Si cae en Shabat, se dice «Este día de reposo y este día de la festividad de las matzot», y se concluye «Que santifica el Shabat, a Israel y los tiempos festivos». No se recita la bendición abreviada de siete.