Class Mammalia Linnaeus, 1758 - mammals "Eupantotheria" Kermack & Mussett, 1958, incertae sedis [paraphyletic] Superorder †Dryolestoidea Butler, 1939 Order †Dryolestida Prothero, 1981 Family †Paurodontidae Marsh, 1887 Genus †Henkelotherium Krebs, 1991 [monotypic] 1 †Henkelotherium guimarotae Krebs, 1991