Hauptrogenstein-Formation

Die Hauptrogenstein-Formation (früher auch nur Hauptrogenstein) ist eine lithostratigraphische Formation des Süddeutschen Jura. Sie wird von der Ostreenkalk-Formation unterlagert und von der Variansmergel-Formation überlagert. Sie ist nur im Oberrheintal ausgebildet, zieht sich aber weiter nach Westen über die Schweiz bis nach Westfrankreich hinein. Im Gebiet der Schwäbischen Alb wird sie von der Dentalienton- und Hamitenton-Formation vertreten, die in Ostwürttemberg in die Sengenthal-Formation übergehen. Sie erreicht eine maximale Mächtigkeit von über 80 m. Sie umfasst das Oberbajocium und das tiefere Unterbathonium.