Mammaliaformes Rowe 1988, nom. cl. inval. see Clade Mammaliaformes Rowe 1988 [Rowe 2020]
   Order †Docodonta Kretzoi, 1946 - docodonts
     1 Genus †Dinnetherium Jenkins, Crompton & Downs, 1983
     2 Family †Megazostrodontidae Gow, 1986
     3 Family †Docodontidae Simpson, 1929