Vers l'an 790, Charlemagne, ayant fait la guerre aux Maures, les défits dans une vallée des Pyrénées voisine et parallèle de l'Andorre, qui a pris le nom de Carol de ses anciens souverains, et l'a conservé depuis sa réunion à la France. Les Andorrans, selon la tradition du pays, reçurent l'armée de Charlemagne dans la partie basse de la vallée, et la dirigèrent vers la partie montagneuse de la Catalogne. L'empereur, pour les récompenser de leur zèle, les rendit indépendants des princes leurs voisins, les délivra des Maures, et leur permit de se gouverner par leurs propres lois.