Mammaliaformes Rowe 1988 [crown] Class Mammalia Linnaeus, 1758 - mammals Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988 Infraclass †Allotheria Marsh, 1880 see Clade Allotheria Marsh 1880 Order †Multituberculata Cope, 1884 Family †Plagiaulacidae Gill, 1872 Genus †Henkelodon Hahn, 1977