The Secret History of Procopius was discovered in the library and published in 1623.
A Historia Secreta de Procopio descubriuse nesta biblioteca, e publicouse en 1623.