Sefer Maskil le-etan : ḥidushe halakhot mi-seder Moʻed ṿe-Ḳodashim.