A él se atribuye la construcción de la primitiva catedral románica, que ocupó parte del solar donde con anterioridad estaba erigido el antiguo monasterio benedictino de San Miguel.