Ḥidushim ʻal masekhtot ha-Shas
Minḥat ʻani, ḥeleḳ shishi / Ḥidushim al Mishnah, Seder Mo'ed