Real Decreto 15/1987, de 9 de enero, por el que se concede la Gran Cruz de la Real y Militar Orden de San Hermenegildo al General de Brigada de Infantería, en activo, don Hilario Martín Jiménez.
Publicado en:
«BOE» núm. 11, de 13 de enero de 1987, páginas 798 a 798 (1 pág.)