蜥科（Sclerosauridae）。在1939年，在南非的卡鲁盆地发现第一个属，欧文蜥，生存于二叠纪晚期。在1956年，阿尔弗雷德·罗默（Alfred Sherwood Romer）建立前稜蜥超科（Procolophonoidea），前稜蜥超科、锯齿龙科目前都属于前稜蜥形目；锯齿龙科是一群大型草食性爬行动物，繁盛于二叠纪。