賈充初定律令，與羊祜共咨太傅鄭沖。沖曰：“臯陶嚴明之旨，非仆闇懦所探。”羊曰：“上意欲令小加弘潤。”沖乃粗下意。

　　是月也，命工师令百工审五库之量：金铁，皮革筋，角齿，羽箭干，脂胶丹漆，毋或不良。百工咸理，监工日号；毋悖于时，毋或作为淫巧以荡上心。

　　古之教者，家有塾，党有庠，术有序，国有学。比年入学，中年考校。一年视离经辨志，三年视敬业乐群，五年视博习亲师，七年视论学取友，谓之小成；九年知类通达，强立而不反，谓之大成。夫然后足以化民易俗，近者说服，而远者怀之，此大学之道也。《记》曰：“蛾子时术之。”其此之谓乎！