... نام غایة المسئول، به کوشش مرحومشهرستانی از تلامذه فاضل اردکانی، توسط ... ، ولی صاحب ضوابط الاصول، مرحوم قزوینی، احتمالاً نزد شریف العلما ... ء و محقق اصفهانی و مرحوم میرزا محمدتقی شیرازی، که افراد ... معیار با نجف ... اختلاف مرحوم امام و مرحوم آقای حائری با نجف ...