延喜式

十七/内匠

割瓜刀子廿枚〈刃長五寸、毎年五月一日、七月一日両度、盛楊筥一合進之、其筥用年料内、〉料、堅鉄大六斤四両、膠小十二両、木賊小八両、伊予砥二顆、檜小半村、〈鞘料〉紙十張、〈敷刀子筥料〉和炭三斛、単功七十五人、〈工七十人、夫五人、〉