Class Mammalia Linnaeus, 1758 - mammals Order †Docodonta Kretzoi, 1946, incertae sedis - docodonts Family †Docodontidae Simpson, 1929 Genus †Borealestes Waldman & Savage, 1972 [monotypic] 1 †Borealestes serendipitus Waldman & Savage, 1972