Otro de los documentos importantes en los que aparece, es el del pleito entre el obispo y la infanta Cristina Bermúdez, hija de la reina Velasquita de León, esposa repudiada de Bermudo II, acerca de la posesión de la corte de Santa Cruz, franja de terreno situada al oeste de San Salvador, en el atrio catedralicio, entre la muralla antigua y San Tirso, donde la nobleza laica poseía, en régimen de concesión temporal, monasterios «propios».