ОКОЛОСТВ́ОЛЬНЫЙ ДВОР, комплекс подземных горн. выработок, пройденных вблизи шахтного ствола и предназначенных для обслуживания горн. работ.
Значение слова ОКОЛОСТВОЛЬНЫЙ в Большом российском энциклопедическом словаре
Что такое ОКОЛОСТВОЛЬНЫЙ
Большой российский энциклопедический словарь. 2012