The Mukhtasar of Khalil, a manual of Muslim law, written in the 14th century by Imam Khalil ibn al-Jundi