Genus: Trachystegos CARROLL, 1966
Etymology:
= Elfridia THAYER, 1985
Etymology:

Species: megalodon CARROLL, 1966
Etymology:

Holotype: BMNH R4563

Locality: Joggins, Chignecto Bay, several miles of sea coast on the Bay of Fundy, Cumberland County, Nova Scotia Province, Canada.

Horizon: Joggins Formation.

Biostratigraphy:

Age: Westephalian B, upper Westphalian, Middle Silesian series, Kashirskian Stage, Moscovian Epoch, Late Pennsylvanian (Late Carboniferous).

Material: Skull roof and lower jaw, together with very poorly preserved post cranial remains.

Paratypes:

RM 12003: Palatine tooth plate, vertebra and humerus.

RM 2.1130: Lower jaw and humerus, figured by Moodie 1916, palate 7, as Hylerpeton.

RM 2.1184: Humerus.

RM 12081: Humerus.

Referred material:

= Elfridia bulbidens THAYER, 1985
Etymology:

Holotype: UALP 4970

Locality: UALP 7205, Swisshel Mountains, Cochise County, Arizona.

Horizon: Black Prince Limestone, one meter below contact with overlying Pennsylvanian Horquilla limestone.

Biostratigraphy:

Age: Late Morrowan or earliest Derryan (equivalent to Langsettian – Duckmantia boundary), Westephalian, lower upper Silesian, upper Bashkrian or lower Moscovian Epoch, early Pennsylvanian (Late Carboniferous).

Material: Left mandible.

Hypodigm.

UALP 4969, 5231, 5865, 5866, 6037, 6038, 6238: Mandibles and fragments.

UALP 4960, 5226, 5230, 6234: Tooth-bearing palatal fragments.

UALP 4961, 5171, 5172, 5176, 5867, 5868: Vertebrae.

UALP 6232: Ilium.

UALP 6233: Pelvis.

UALP 6225: Humerus.