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

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

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

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

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

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

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

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

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