חדושי הלכות על שבועות טז:

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

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