Se conserva manuscrito el inventario de los fondos de la biblioteca del Colegio Mayor de San Ildefonso, de 1512, de los cuales cerca de un centenar y medio están hoy día en la Biblioteca Histórica.