meridian: the plane containing the observer and both celestial poles, or containing the observer, the zenith and the pole, or, more colloquially, the north-south line at a particular position on the earth.
meridian circle: circular scale of degrees which in use is aligned with the meridian.
mining instruments: in this period mining instruments were principally for surveying, adapted for the special conditions of working underground in mines.
