Proceedings of the Royal Irish Academy: The petrography of the old red sandstone rocks of the North of Ireland