Sumário:O procedimento na ação direta de inconstitucionalidade -- A coisa julgada nos processos subjetivos -- A coisa julgada em ação direta de inconstitucionalidade (ADIN): o princípio da presunção da constitucionalidade das leis, os limites objetivos da coisa julgada e o efeito vinculante.