Clade Mammalia Linnaeus 1758 [Rowe 1988], nom. cl. inval. see Class Mammalia Linnaeus, 1758 Clade Trechnotheria McKenna 1975 Clade Alethinotheria Averianov, Martin & Lopatin 2013 Clade Cladotheria McKenna 1975 Clade †Dryolestida Prothero 1981 see Order Dryolestida Prothero, 1981 Family †Henkelotheriidae Krebs, 1991 Genus †Henkelotherium Krebs, 1991 1 †Henkelotherium guimarotae Krebs, 1991