Babylonian Talmud, Tractate Eruvin

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

אי הכי בחול כל יומא ויומא נמי לישתרי דהא לא אתא אליהו מאתמול אלא אמרינן לבית דין הגדול אתא הכא נמי לימא לבית דין הגדול אתא כבר מובטח להן לישראל שאין אליהו בא לא בערבי שבתות ולא בערבי ימים טובים מפני הטורחקא סלקא דעתך מדאליהו לא אתא משיח נמי לא אתי במעלי שבתא לישתרי אליהו לא אתי משיח אתי דכיון דאתי משיחא הכל עבדים הן לישראלבחד בשבא לישתרי לפשוט מינה דאין תחומין דאי יש תחומין בחד בשבא לישתרי דלא אתא אליהו בשבת האי תנא ספוקי מספקא ליה אי יש תחומין או אין תחומין ולחומרא