اعتمد عليها في البحار والذريعة (1).
(52) غاية الأحكام في تصحيح تلخيص المرام.
ذكره في الخلاصة، وفي نسخة الخلاصة التي اعتمد عليها في المجالس: غاية المرام في تصحيح تلخيص المرام، وهو شرح لكتابه تلخيص المرام المتقدم ذكره، وينقل عنه الشهيد في شرح الإرشاد، ولم يرد اسم هذا الكتاب في نسخة الخلاصة التي اعتمد عليه في الأمل والرياض والأعيان (2).
(53) غاية الوصول وإيضاح السبل في شرح مختصر منتهى السؤول والأمل في علمي الأصول والجدل.
ذكره في الإجازة والخلاصة، ومنتهى السؤول والأمل في علمي الأصول والجدل للشيخ جمال الدين أبي عمرو عثمان بن عمر المعروف بابن الحاجب المالكي المتوفى سنة 646، قال الصفدي عند ذكره للعلامة: شرح مختصر ابن الحاجب وهو مشهور في حياته. وقال العسقلاني: وشرحه على مختصر ابن الحاجب في غاية الحسن في حل ألفاظه وتقريب معانيه. وذكر في الذريعة أن في بعض نسخه: غاية السؤول، وقال:
وهو المناسب لقافية إيضاح السبل، وذكره الحاج خليفة باسم غاية الوضوح وإيضاح السبل في شرح منتهى السؤول والأمل.
من أهم نسخه:
نسخة في مكتبة فخر الدين النصيري في طهران، كتبت في سنة 691.
نسخة في مكتبة آية الله الحكيم العامة، رقم 180، كتبت في 22 من رجب سنة 697.
نسخة في مكتبة الوزيري العامة في يزد، رقم 1955، كتبها محمد بن محمود