En Leyre halló una "Vida de Mahoma" que contenía debates teológicos cristianos;en San Pedro de Siresa, ya en Aragón, descubrió obras de tradición grecolatina que no habían sido conservadas en la Córdoba del Califato, como la "Eneida", poesía de Horacio y Juvenal, fábulas de Aviano o "La ciudad de Dios" de San Agustín, que a partir de ese momento formaron parte de la cultura hispánica andalusí.