组成，当时无足目的起源不确定。Eutetrapoda由两个姊妹群组成：蛙形类（学名：Batrachomorpha，含有无尾目及其祖先）、爬行形类（含有石炭蜥目及其羊膜动物）。Säve-Söderbergh随后将西蒙螈目也归类到爬行形类。后来阿尔弗雷德·舍伍德·罗默反对两栖动物从鱼类进化了两次的观点，并使用石炭蜥目来描述羊膜动物进化的谱系。1970年，德国古生物学家Alec Panchen将Säve-Söderbergh的定义作为优先考虑，但阿尔弗雷德·舍伍德·罗默的定义仍有学者在使用，例如Carroll