Mammaliaformes Rowe 1988
   [crown] Class Mammalia Linnaeus, 1758 - mammals
     Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988
       Infraclass Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg, 1995 see Clade Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg 1995
         Superlegion Trechnotheria McKenna, 1975 see Clade Trechnotheria McKenna 1975
           Legion Cladotheria McKenna, 1975 see Clade Cladotheria McKenna 1975
             Sublegion †Dryolestoidea Butler, 1939 see Superorder Dryolestoidea Butler, 1939
               1 Order †Dryolestida Prothero, 1981
               2 Order †Amphitheriida Prothero, 1981