Mammaliaformes Rowe 1988, nom. cl. inval. see Clade Mammaliaformes Rowe 1988 [Rowe 2020] Order †Docodonta Kretzoi, 1946 - docodonts Family †Docodontidae Simpson, 1929 Genus †Borealestes Waldman & Savage, 1972