Mammaliaformes Rowe 1988, nom. cl. inval. see Clade Mammaliaformes Rowe 1988 [Rowe 2020]
   Order †Docodonta Kretzoi, 1946 - docodonts
     Family †Docodontidae Simpson, 1929
       1 Genus †Borealestes Waldman & Savage, 1972
       2 Genus †Simpsonodon Kermack, Lee, Lees & Mussett, 1987
       3 Genus †Tegotherium Tatarinov, 1994
       4 Genus †Haldanodon Kühne & Krusat, 1972
       5 Genus †Docodon Marsh, 1881