Tosafot on Shabbat 56b (נו:) — the commentary online

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

מה אחרונים לא עשו ותלה בהן כו' - לא שייך למימר הכא מקום הניחו לו אבותיו להתגדר בו כדאמר בפ"ק דחולין (דף. ושם:) גבי נחש נחשת שביער חזקיה דהתם לא ביערוהו אבותיו שהיו יראים לבערו לפי שעשאו משה על פי הדבור אבל הכא למה היו מניחים מלבערם:

דצוציתא - אומר ר"ת דאמר במדרש שהיה נר דולק על ראשו: