Peace treaty between the King of Spain Philip V and the Holy Roman Emperor Charles VI. Concluded in Vienna on 7 June 1725; ratified by Philip V in San Ildefonso on 24 July of that year. Plenipotence of Philip V. Collection of the Treaties of Peace, Alliance, Commerce adjusted by the Crown of Spain with the Foreign Powers (Coleccion de los Tratados de Paz, Alianza, Comercio ajustados por la Corona de Espana con las Potencias Extranjeras). Volume II. Madrid, 1800. Historical Military Library of Barcelona, Catalonia, Spain.