procolophonid

Noun

 * 1)  Any parareptile in the family †