Seder HaDorot, Almanac, Index 1283 · סדר הדורות · free full Hebrew text
ר' יצחק (בן יוסף) הישראלי ה"א ע' ע"ב, ועיין ד"א תתקכ"ז :