Species: risinense (WADIA & SWINTON, 1928) WERNEBURG & STEYER, 1996
Etymology: In reference to Risin Spur, Srinagar District, Kashmir, India.
= Actinodon risinensis WADI & SWINTON, 1928

Holotype: GSI 14046

Locality: Risin Spur, 3 km east-north-east of Zewan, Srinagar District, Kashmir, India.

Horizon: Vihi (Gangamopteris) beds, Mamal Formation, Lower Gondwanas.

Biostratigraphy:

Age: Ufimian Stage, Lower Guadelupian Subepoch, Lower Zechstein Epoch- Tatarian Stage, Lopingian Subepoch, Upper Zechstein Epoch, Late Permian.

Material: A fragment of a skull roof in dorsal aspect, but lacking the snout, tabular row and one cheek.

Referred material:

= Lysipterygium deterrai BRANSON, 1935
Etymology:

Holotype: YPM 2163

Locality: Risin Spur, 3 km east-north-east of Zewan, Srinagar District, Kashmir, India.

Horizon: Vihi (Gangamopteris) beds, Mamal Formation, Lower Gondwanas.

Biostratigraphy:

Age: Ufimian Stage, Lower Guadelupian Subepoch, Lower Zechstein Epoch- Tatarian Stage, Lopingian Subepoch, Upper Zechstein Epoch, Late Permian.

Material: A fragment of a skull roof in dorsal aspect, but lacking the snout, tabular row and one cheek.

Referred material:

YPM 2163: A palate and pectoral girdle in ventral aspect.

GSI 8673: A partial skull and postcranial skeleton.
Note: Paratype of Archegosaurus ornatus.

= Chelydosaurus marahomensis VERMA, 1962
Etymology: In reference to Marahom, Kashmir, India.

Holotype: GSI 18071

Locality: Barliapatti Spur, near Marahom, Kashmir, India.

Horizon: Bangamopteris beds, Lower Gondwanas.

Biostratigraphy:

Age: Late Permian.

Material: A pectoral girdle of a large individual.

____________________________________________________________________________________