DIPLOCINODONTIDI

DIPLOCINODONTIDI (dal nome del genere Diplocynodon lat. scient. Diplocynodontidae)

Famiglia giurassica di Mammiferi fossili della sottoclasse dei Placentati, ordine Pantotheria (sin. Trituberculata). Il nome Diplocynodon è attribuito a un genere fossile di Coccodrilli, dallo scheletro simile a quello degli alligatori, dell'Oligocenico e Miocenico d'Europa. Es. D. hastingsiae.