《资治通鉴·唐纪·唐纪七十六》
癸巳，李克用派遣李存信、李存审会同保大节度使李思孝攻打在梨园寨的王行瑜，擒获王行瑜的将领王令陶等人，送往南山昭宗那里。
癸已，遣李存信、李存审会保大节度使李思孝攻王行瑜黎园寨，擒其将王令陶等，献于行在。
On guisi, Li Keyong sent Li Cunxin and Li Cunshen to cooperate with the military governor of Baoda, Li Sixiao, in attacking Wang Xingyu at Liyuanzhai, and captured Wang Xingyu’s generals Wang Lingtao and others, and sent them to Zhaozong at Nanshan.