Any of several dinosaurs of the family Edaphosauridae, from the Carboniferous and Permian periods, that had a distinctive dorsal sail or crest