《资治通鉴·晋纪·晋纪二十三》
春季，三月，荆州刺史桓豁派督护桓罴攻打南郑，讨伐司马勋。
孝宗穆皇帝下太和元年春，三月，荆州刺史桓豁使督护桓罴攻南郑，讨司马勋。
In the third lunar month of Spring, Jingzhou Governor Huan Huo sent a superintendent Huan Pi to attack Nan Zheng, subjugating Sima Xun.