(n.) An extinct genus of reptiles of the Permian period. Called also Protosaurus.