[880] Hauptrogenstein (Hauptoolith), Abteilung der mittlern Juraformation (s. d.).
Brockhaus-1911: Hauptrogenstein
Pierer-1857: Hauptrogenstein