Ḥalabī, Ibrāhīm Ibn-Muḥammad al-