Años después, el 25 de octubre de 1093, apareció documentada por primera vez la localidad de Villaproviano.