Assunto: inclusão do décimo terceiro salário no cômputo da média das remunerações para o cálculo dos proventos de aposentadoria. O décimo terceiro salário não integra a base de cálculo dos proventos de aposentadoria dos servidores titulares de cargo efetivo, sendo inconstitucional interpretação em sentido diverso. Eficácia da decisão. Princípio da segurança jurídica. Efeitos ex nunc.