Mammaliaformes Rowe 1988
Count: [g†g] 1c;24o;125f;1081g; ‡1o;6f;43g; †24o;301f;4057g;1s
   Order †Docodonta Kretzoi, 1946 - docodonts
  Count: [†g] †2f;7g
     Family †Docodontidae Simpson, 1929
    Count: [†g] †5g
       Genus †Docodon Marsh, 1881
      Count: -