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