Mammaliaformes Rowe 1988 Order †Docodonta Kretzoi, 1946 - docodonts Family †Docodontidae Simpson, 1929 Genus †Haldanodon Kühne & Krusat, 1972