雍正《山西通志》卷一六o:元時夏縣人。至正間修養於瑤台山。既卒,門人立祠塑像祀焉。後數年,自河南募緣,覓小車數輛載之,抵夏縣渡河,濕只履。托以事先行。及輓車人至瑤台山,詢之,則死已久矣。一觀大驚,視其像,一履尚濕。