Class Mammalia Linnaeus, 1758 - mammals
   Order †Docodonta Kretzoi, 1946, incertae sedis - docodonts
     Family †Docodontidae Simpson, 1929
       Genus †Docodon Marsh, 1881
         1 †Docodon victorᵀ (Marsh, 1880)
         2 †Docodon affinis (Marsh, 1887)
         3 †Docodon crassus (Marsh, 1887)
         4 †Docodon striatus Marsh, 1881
         5 †Docodon superus Simpson, 1929