(n. pl.) Same as Theriodontia.