Species: ianwilsoni HALSTEAD, 1975
Etymology:
= Hyposaurus ianwilsoni (HALSTEAD, 1975)

Holotype: P.1, University of Ife, Natural History Museum.

Locality: Gilbedi Hills, 10km northwest village of Takalawa, on northern side of River Rima, northeast of Sokoto State, Nigeria, Africa.

Horizon: Dukamaje Formation.

Biostratigraphy:

Age: Maastrichtian Stage, Upper Senonian Subepoch, Upper Gulf Epoch, Late Cretaceous.

Material: Skull.

Referred material:

aff ianwilsoni MARSHAL & de MUISON, 1988

Locality: Tiupampa, Cochabamba Department, Bolivia.

Horizon: El Molino Formation.

Biostratigraphy:

Age: Maastrichtian Stage, Upper Senonian Subepoch, Upper Gulf Epoch, Late Cretaceous

Material:

Number: Not given: