CrocodyliformesBenton & Clark, 1988
Crocodyliformes je podřád krurotarsanských archosaurů pojmenovaný Hay, 1930, skupina často tradičně označovaná jako „krokodýli“.
Krokodýly označil jako klad Clark v roce 1988 ve své práci, kterou napsali James M. Clark a Michael J. Benton a ve které tvrdili, že všechny tradiční názvy pro známé skupiny zvířat by měly být omezeny na jejich korunní klady, to znamená, že se používají pouze pro přírodní skupiny zahrnující všechny žijící členy libovolného rodu. To představovalo problém pro krokodýly, protože název Crocodylia, i když byl různými způsoby používán různými vědci, vždy zahrnoval nejen živé krokodýly, ale i mnoho jejich vyhynulých předků známých pouze z fosilních záznamů.
Řešením Bentona a Clarka v této otázce bylo omezení názvu Crocodylia na skupinu obsahující moderní aligátory, krokodýly a gharijce plus veškeré vymřelé členy těchto specifických rodin. Tradiční skupina „Crocodylia“ byla nahrazena novým názvem Crocodyliformes, který zahrnoval mnoho vymřelých rodin, které nová definice vynechala. Clark a Benton původně neposkytli přesnou definici Crocodyliformes, ale v roce 2001 Paul Sereno a jeho kolegové definovali, že zahrnuje Protosuchus richardsoni a krokodýla nilského plus všechny potomky jejich společného předka.
Chris Brochu souhlasil s hodnocením, že Crocodylia jako název nikdy neměla stabilní obsah a že řada kladů vedoucích až ke skupině korun (včetně Crocodyliformes a mírně inkluzivnějšího kladu Crocodylomorpha) byla dobrým řešením. Nicméně v roce 2008 autoři Bentona a Jeremyho Martina obrátili předchozí názor (spoluautorem byl Benton), že Crocodylia by měla být omezena na skupinu korun, a navrhli, že Crocodyliformes by měla být považována za synonymum inkluzivnější Crocodylie, a tedy nahrazena.
Níže uvedený kladogram ilustruje vztahy krokodyliformů na základě přehledu Martina a Bentona, 2008.