倚天屠龍記中的武當七俠歷史上確有其人嗎？

《倚天屠龍記》第三回末章節附註釋：

據舊籍載，張三丰之七名弟子為宋遠橋、俞蓮舟、俞岱岩、張松溪、張翠山、殷利亨、莫聲谷七人。殷利亨之名當取義於《易經》「元亨利貞」，但與其餘六人不類，茲就其形似而改名為「梨亭」。

金庸所說的舊籍是什麼？

ps：

張松溪貌似是嘉靖朝浙江的內家拳師。（望指正）

他跟武當山有何關係？

一.宋遠橋：

余功保《中國太極拳辭典》：

明朝人。相傳為太極拳傳人，後世流傳有「宋氏太極拳」。亦精武當武功，又傳其為張三丰弟子，乃「武當七子」之一，但史料不足。所練太極拳據言有四十二式。

二.張松溪：

明·黃宗羲《王征南墓志銘》:

三峰之術，百年以後流傳於陝西，而王宗為最著。溫州陳州同從王宗受之，以此教其鄉人，由是流傳於溫州。嘉靖間，張松溪為最著。

清《寧波府志·張松溪傳》：

張松溪。鄞人。善博。師孫十三老。其法自言起於宋之張三峰……由三峰而後。至嘉靖時。其法遂傳於四明。而松溪為最著。

余功保《中國太極拳辭典》：

明代人。生卒年傳說不一。武術家,浙江鄞縣(今屬寧波)人。據傳為張三丰太極拳法傳人，後又遊歷學藝，創武當松溪內家拳派。

三.武當七（六？）子：

明·宋遠橋《宋氏太極功源流支派論》：

……余游江南涇縣。訪俞家……蓮舟與余常與張松溪張翠山殷利亨莫谷聲相往還。後餘七人再往武當山拜李祖師未遇。於太和山玉虛宮見玉虛子張三丰。三豐蓋張松溪張翠山師也。洪武初即在此山修鍊。餘七人在山拜求請益者月余而歸。

我認識張松溪傳人，正兒八經的傳人，不是張加立那個斂財騙色的騙子。松溪拳傳人游明生一支住在武當山後山，只有一條大鍊鋼鐵時留下的水泥路可以上去，大師傅姚忠正在山下開了一家武館。叫松溪堂吧？名字我忘了

大師傅姚忠正

「叔，你說張三丰啊、張無忌、武當七俠啊、這些人真的有嗎？九陽神功厲害還是乾坤大挪移厲害？」當時還是小學生的我看著馬景濤版本的《倚天屠龍記》有感而發的問我的一個叔叔輩的武俠迷。

「有啊！肯定有啊！至於九陽神功和乾坤大挪移哪個厲害我就不知道了，兩者也沒有太大的可比性啊，前者屬於內功心法，後者是招式武功！」

「叔，你怎麼知道這麼多啊？」

「你知道武當七俠里有個叫宋遠橋的嗎？」

「知道啊，他是武當七俠老大啊，不過他兒子倒是不太爭氣，唉。。」