docodontid

Noun

 * 1)  Any extinct mammaliaform in the family.