لغت نامه دهخدا
ملاعبداﷲتونی. [ م ُل ْ لا ع َ دُل ْ لا هَِ ] ( اِخ ) ابن محمد، معروف به فاضل تونی از علما و فقهای قرن یازدهم هجری است ( متوفی به سال 1071 هَ. ق. ). مدتها در اصفهان ومشهد و قزوین اقامت گزید و سرانجام ضمن سفر به زیارت عتبات در شهر کرمانشاه درگذشت. او راست: حاشیه مدارک، حاشیه معالم، شرح ارشاد علامه، فهرست تهذیب شیخ طوسی و وافیه در اصول. ( از ریحانة الادب ج 1 ص 356 ).