Manifestis Probatum

Manifestis Probatum was a papal bull dated May 23, 1179, in which Pope Alexander III officially recognised Afonso Henriques as the first King of Portugal.

The Papacy did not at first recognize the legitimacy of Afonso's adoption of the royal title in 1139, but continued to regard him as a vassal of the kingdom of León. The switch in papal policy in 1179 was justified by Afonso's conquest of lands to the south to which no other Christian monarch had claim.

Alexander, Bishop, Servant of God’s servants, to the Dearest son in Christ, Afonso, Illustrious King of the Portuguese, and to his heirs, in perpetuity:

It is clearly demonstrated that, as a good son and catholic prince, you have rendered innumerable services to your mother, the Holy Church, intrepidly exterminating through hardships and military prowess the enemies of the Christian name and diligently propagating the Christian faith, thereby leaving to generations still unborn a name worthy of memory and an example deserving of imitation.

The Apostolic See must love with sincere affection and strive to efficiently attend, in their just requirements, those chosen by the divine Providence for the government and salvation of the people.

We, therefore, because of your qualities of prudence, justice and worthiness of government, take you under St. Peter’s and our own protection, and grant and confirm by apostolic authority to your excellent domain, the kingdom of Portugal, full honours of kingdom and the dignity which corresponds to kings, as well as all places which, with the help of the celestial grace, you have wrested from the hands of the Saracens, and on which your neighbouring Christian princes may not claim any rights.

...
Wikipedia