Tosafos on Shabbos 63a:10 (Tosafot on Shabbat 63a:10) · תוספות על שבת · free full Hebrew text
אין בין העוה"ז לימות המשיח - אע"ג דהשתא אין ירושלים ואין בהמ"ק ואילו לימות המשיח יהיה הכל בנוי צ"ל דהאי אין בין לאו דוקא: