Dá nova redacção ao artigo 12.º do Decreto-Lei n.º 515/80, de 31 de Outubro (criação da INDEP - Indústrias Nacionais de Defesa, E. P.)