Dinocephalians are a clade of large-bodied early therapsids that flourished in the Early and Middle Permian between 279.5 and 260 million years ago, but became extinct during the Capitanian mass extinction event. Dinocephalians included... Wikipedia