Group of mammal-like reptiles living 315-195 million years ago, whose fossil record is largely complete, and who were for a while the dominant land animals, before being replaced by the dinosaurs. The true mammals are their descendants.