خلاصه ماشینی:
"مثلا خود همین خانواده:مرحوم حاج شیخ محمد تقی صاحب حاشیه-حاشیه «هدایه المسترشدین»که کتاب اصولی عمیق قوی ماندگاری است و دارای حرفهای نو-که شخصیت معروفی است در حوزههای علمیه؛بعد فرزند ایشان مرحوم حاج شیخ محمد باقر؛ بعد پسرهای مرحوم حاج شیخ محمد باقر که همین چهار-پنج تا برادرند که ظاهرا از همه بزرگتر مرحوم آقای نجفی بوده، حاج شیخ محمد علی،حاج شیخ محمد حسین؛بعد پسر حاج شیخ محمد حسین که مرحوم حاج شیخ محمد رضای اصفهانی است- معروف به آقا رضای اصفهانی-که امام و دیگران در قم توانستند یک مدت کوتاهی از درس او استفاده کنند و همین برای اینها یک نکتهای است،امام در بحث مکاسب محرمه مطلب مرحوم آقا رضای اصفهانی را حدود دو-سه صفحه تلخیص میکنند و نقل میکنند،]ایشان[از لحاظ ادبی شخصیت معروفی است، حالا ایشان در اصفهان خیلی مردمی و بین مردم نبوده]بلکه[ بیشتر نجف و در حوزههای نجف و بخصوص در بین ادبا و اینها معروف است؛بعد مرحوم حاج آقا نور الله است؛بعد مرحوم حاج آقا جمال است-برادر دیگرشان-که سالها در تهران بودند؛ یک خانواده علمی."