Mastodonsaurus
(
n.
) A large extinct genus of labyrinthodonts, found in the European Triassic rocks.