Mammaliaformes Rowe 1988
   [crown clade] Mammalia Linnaeus, 1758 - mammals
     Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988
       Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg, 1995 see Clade Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg 1995
         Trechnotheria McKenna, 1975 see Clade Trechnotheria McKenna 1975
           Cladotheria McKenna, 1975 see Clade Cladotheria McKenna 1975
             †Dryolestoidea Butler, 1939 see Superorder Dryolestoidea Butler, 1939
               †Dryolestida Prothero, 1981
                 †Paurodontidae Marsh, 1887
                   †Henkelotherium Krebs, 1991