If no notice of opposition is recorded in the dossier of the European patent within nine months of publication of the mention of grant, the patent proprietor is informed and an appropriate entry is published in the European Patent Bulletin (Notice of the President of the EPO dated 14 October 1983, OJ 11/1983, 458). If, subsequently, it emerges that an opposition was filed in time, the proprietor is again informed and a correction is published in the Bulletin.