תוספות רי"ד על עירובין מהדורא תנינא מב:

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

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