page 72, entry [41]Open original source
إبراهيم بن عيسى الأمير ناصر الدين ابن الملك المعظم ابن المالك الزاهر داود بن الملك المجاهد أسد الدين شيركوه بن محمد بن شيركوه بن شادي. كان جندياً من مقدمي الحلقة بدمشق. توفي رحمه الله تعالى في مستهل شهر ربيع الأول سنة سبع وعشرين وسبع مئة، ودفن بجبل قاسيون، وقد جاوز الخمسين.