The traditional group "Crocodylia" was replaced by the name Crocodyliformes, which included many of the extinct families that the new definition left out.
O grupo tradicional "Crocodylia" foi, entón, substituído por eles polo nome Crocodyliformes, que incluía moitas das familias extintas que a nova definición de Crocodylia deixaba fóra.