Noun
in former classifications a division of class Amphibia comprising all pre-Jurassic and some later extinct large salamandriform amphibia