שם הגדולים, מערכת ספרים, מערכת פ י״טShem HaGedolim, Maarekhet Sefarim, Letter Peh 19

א׳(יט) פירוש ההלכות - (עיין רבינו אבא מרי בר יוסף בח"א).
1