[quote="YoungTradCath, post:17, topic:316832"]
But isn't it? Were there not very solemn ceremonies marking the promulgations of Inenffabilis Deus and Munificentissimus Deus? There was something like an entire Marian Year replete with solemn ceremonies/rites for the latter.
Those ceremonies were ancillary to the actual definitions. There is no definitive formula or procedure for the Pope to follow or speak, so long as he makes known his intention to definitively bind the Church.
This came up at the First Vatican Council, when some bishops wanted to prescribe a ceremony, procedures, and formulas the Pope would have to follow and speak in order to be considered infallible. In the relatio (an official explanatory and interpretive guide given to the voting bishops), the relator, Bishop Gasser, ruled this out saying:
"But, most eminent and reverend fathers, this proposal simply cannot be accepted because we are not dealing with something new here. Already thousands and thousands of dogmatic judgments have gone forth from the Apostolic See; where is the law which prescribed the form to be observed in such judgments?"
Unfortunately, the fact that those two Marian definitions had so much extra ceremony had the side effect of distinguishing them in the minds of many Catholics from the more mundane definitive and infallible judgments of Popes in the past and since--so much so, that many Catholics think they are the only two instances! Two is a far cry from the the understanding given to the Fathers at the First Vatican Council that there had been thousands of examples (granted, Gasser was probably using a little hyperbole, but you get the point).