Nicolás Antonio en su "Bibliotheca Hispana Nova" (1783) dijo de Hernando Colón: «"Allí (junto a la Puerta Real, llamada anteriormente de Goles) reunió y organizó, con grandes gastos y mayor interés, una biblioteca riquísima de casi todos los libros que entonces estaban impresos, además de muchos códices manuscritos; en vida, con el uso se familiarizó con ellos y al morir la dejó a la Iglesia Hispalense, a la que también entregó su cuerpo para que le dispensasen los ritos cristianos y sepultura en un lugar honorabilísimo"».