Class Mammalia Linnaeus, 1758 - mammals Order †Docodonta Kretzoi, 1946, incertae sedis - docodonts Family †Docodontidae Simpson, 1929 Genus †Docodon Marsh, 1881 †Docodon crassus (Marsh, 1887)