Real Decreto 871/1990, de 29 de junio, 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 Antonio Torrecillas Velasco.
Publicado en:
«BOE» núm. 163, de 9 de julio de 1990, páginas 19609 a 19609 (1 pág.)