El diácono Juan, en el siglo X, lo denomina monasterio de Santa María y San Martín mientras que, en el siglo XI, el clérigo Diego nos habla del monasterio de San Salvador, Santa María y San Antonio.