Yes Paul VI did excommunicate Archbishop Lefvebe was it the formal ex-communication no it was simple and the Archbishop recanted the error and the ex-communication was lifted. Again check in the AAS (Acts of the Apostolic See in Latin Acts Apostolicae Sedis and you will find it. This is published once a year by the Vatican and it was to be read every year. So the Priest would understand what Rome had set down. If you did not know the AAS existed you would not be aware of the fact that John XXIII abricated back past the Council of Trent July 25th, 1960 This appeared in the Acta Apostolicae Sedis of August 15, 1960.