עיקר תוספות יום טוב על משנה בבא בתרא ב׳:י׳

10 מה מַרְחִיקִין כוּ'. חֲמִשִּׁים אַמָּה דּוּמְיָא דִּנְבֵלוֹת כִּדְאִיתָא בַּתּוֹסֶפְתָּא בְּחַרְדָּל. נִמּוּקֵי יוֹסֵף. וְעַיֵּן אוֹת מ"ז:

11 מו הַדְּבוֹרִים. הֲוָה מָצֵי לְמִתְנֵי מִן הַתְּבוּאָה, דְּקָא מַזְקֵי לָהּ נַמִּי, וַהֲוָה דּוּמְיָא דְּיָרָק כוּ', אֶלָּא מִשּׁוּם דִּלְרַבִּי יוֹסֵי אַף הַדְּבוֹרִים מַזִּיקִים לַחַרְדָּל, קָא מַשְׁמַע לָן דַּאֲפִלּוּ הָכִי לֹא יִסְמֹךְ:

12 מז בַּגְּמָרָא מַסִּיק דְּרַבִּי יוֹסֵי סְבִירָא לֵיהּ עַל הַנִּזָּק לְהַרְחִיק אֶת עַצְמוֹ. וּלְדִבְרֵיהֶם דְּרַבָּנָן קָאָמַר, לְדִידִי אֲפִלּוּ מִשְׁרָה וְיַרְקָא לֹא בָּעֵי רִחוּקֵי, אֶלָּא לְדִידְכוּ אוֹדוּ לִי מִיהַת בְּחַרְדָּל כוּ'. וְרַבָּנָן, דְּבוֹרִים לַחַרְדָּל לֹא מַזְקֵי לֵיהּ. וְכָתַב הָרֹא"שׁ, וְהָנֵי לֹא הֲווּ גִּירֵי דִּילֵיהּ, דִּבְהָכִי מוֹדֶה רַבִּי יוֹסֵי כוּ'. וְדַעַת הָרַמְבַּ"ם דְּאַף בִּכְרֵשִׁין וְחַרְדָּל צָרִיךְ שְׁלֹשָׁה טְפָחִים, דְּאִם לֹא כֵן הֲוֵי גִּירֵי דִילֵיהּ. וּפֵרֵשׁ הָרַמְבַּ"ם גִּירֵי דִילֵיהּ, כְּמִי שֶׁיּוֹרֶה בְּחֵץ מֵרְשׁוּתוֹ לַחֲצַר חֲבֵרוֹ כוּ'. וְעַיֵּן דַּעַת הַנִּמּוּקֵי יוֹסֵף לְעֵיל אוֹת מ"ה. וְעַיֵּן תּוֹסְפוֹת יוֹם טוֹב: