金刚仙论
（书名）后魏菩提流支译，十卷，天亲菩萨之弟子金刚仙菩萨着。释天亲之金刚般若论。于藏外行之。玄义私记五本曰：诸师不用此论，慈恩云：非真圣教。
（书名）后魏菩提流支译，十卷，天亲菩萨之弟子金刚仙菩萨着。释天亲之金刚般若论。于藏外行之。玄义私记五本曰：诸师不用此论，慈恩云：非真圣教。
【外行】 p0492集异门论十一卷九页云：云何外行？答：若行、在此相续，或本未得，或得已失。若他相续。若非情数。是名外行。
亦名：无场大界内外、大界内外行事钞·结界方法篇：“问：‘今将石木为相，为取内外耶？’答：‘若圆者取中央，令界相正，与标分相当。或取外畔。若尖斜之物，随以一分为限。余他物准此。应先须示知尺寸分齐，预向僧述。不得通指一山，妄充外相。致令寻求分齐，不可得知..
行宗记·释四提舍尼法：“坊外，即伽蓝外。”（戒疏记卷一六·一一·九）