Babylonian Talmud, Tractate Eruvin

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