Real Decreto 827/1985, de 25 de mayo, por el que se concede la Gran Cruz de San Hermenegildo al General de Brigada de Infantería, Diplomado de Estado Mayor, don Gabriel Colodro Cruz.
Publicado en:
«BOE» núm. 134, de 5 de junio de 1985, páginas 17028 a 17028 (1 pág.)