水經注卷十八
後 魏 酈 道 元 撰
渭水〈案近刻前卷表目作渭水上此作渭水中〉
又東過武功縣北
渭水于縣斜水自南來注之〈案近刻脱來字〉水出縣西南衙
嶺山北歴斜谷逕五丈原東諸葛亮與步騭書曰僕
前軍在五丈原原在武功西十里餘水出武功縣故
亦謂之武功水也是以諸葛亮表云臣遣虎步監孟
琰據武功水東司馬懿因水長攻琰營臣作竹橋越