What is "thelephon"

Thelephon is an extinct genus of procolophonine procolophonid parareptile from middle Triassic (early Anisian stage) deposits of Free State Province, South Africa. It is known from the holotype BP/1/3512, a partial skull lacking the snout and anterior third of the mandible. It was collected by the South African palaeontologist, James W. Kitching from Hugoskop in the Winnaarsbaken and referred to subzone B of the Cynognathus Assemblage Zone of the Burgersdorp Formation, Beaufort Group ( Karoo Basin). It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Thelephon contritus. It was first assigned to a species of Thelegnathus (now considered to be a nomen dubium), Thelegnathus contritus.