Ofiderpetotontidèe

sf. pl. [dal nome del genere Ophiderpeton]. Famiglia (Ophiderpetotontidae) dell'ordine fossile degli Anfibi Aistopodi, comprendente il solo genere nominale, distribuito nel Carbonifero superiore di Europa e America Settentrionale.