الحق من مشكاة اليقين ... ) رأيته في مكتبة الخونساري بالنجف الاشرف ، ومكتبة السيد المجدد الشيرازي بسامراء ، وسيدنا الحسن الصدر في الكاظمية ، ونسخة السيد محمد باقر الحجة بكربلاء كانت بقلم أقل الطلاب حسين المحلاتي المشتهر باسم أبيه أيام تحصيله بالحائر في سنة ١٢٢٧ هـ. وأول الشرح ( قوله : إن كان التبادر ... أقول : معنى كون التبادر ... ).

وللشارح نفسه عليه حواش كثيرة ، والخطبة من إنشاء بعض تلاميذه. ويوجد أيضا في المكتبة الرضوية ، ومكتبة الشيخ مشكور ، والشيخ هادي كاشف الغطاء ، وكانت عند السيد أبي القاسم الخونساري نسخة بخط حيدر بن محمد الخونساري في سنة ١١٩٦ هـ. ويوجد أيضا في مكتبة الامام علي 7 العامة بالنجف الاشرف ».

وقد يسمى هذا الشرح بالحاشية.

وقد صرح في موضع منه أنه كان مشغولا بتأليفه سنة ١١٤١ هـ.

٤ ـ شرح الوافية.

قال الشيخ الطهراني : « كتب عليه هذا العنوان ، وأوله ( قوله : الاصل ما يبتني عليه الشيء إلخ قد جرت عادة الاصوليين بتعريف الفقه بكلا معنييه : الاضافي والعلمي ) رأيته كذلك عند السيد عبدالحسين الحجة بكربلاء. وقد كتب عليه انه للسيد مهدي ، وتاريخ كتابته سنة ١٢٤٣ هـ. لكنه ليس هو شرح الوافية للسيد مهدي بحر العلوم لان شرحه على الوافية مقصور على بحث الحقيقة والمجاز » كما سيأتي.

٥ ـ شرح الوافية.

للسيد بحر العلوم ، محمد مهدي بن السيد مرتضى بن السيد محمد الطباطبائي البروجردي الغروي المتوفى سنة ١٢١٢ هـ.

قال العلامة الطهراني عن هذا الشرح أنه « غير تام ، يقرب من نصف المعالم.