Mammaliaformes Rowe 1988 [crown] Class Mammalia Linnaeus, 1758 - mammals Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988 Infraclass †Triconodonta Osborn, 1888 see Order Triconodonta Osborn, 1888 Genus †Hallautherium Clemens, 1980