Decreto nº 3.792, de 21/04/1952
Texto Original
Dá a denominação de “Capitão Antônio Pinto Miranda” ao Grupo Escolar da cidade de Tocantins.
O Governador do Estado de Minas Gerais resolve dar a denominação de “Capitão Antônio Pinto Miranda” ao Grupo Escolar da cidade de Tocantins.
Palácio do Govêrno, em Ouro Preto, 21 de abril de 1952.
JUSCELINO KUBITSCHEK DE OLIVEIRA
Odilon Behrens