Кровля штолен в известняке действительно в конце концов рушится, образуя, в случае неглубокого их заложения, т.н. провальные рвы. Однако не надо путать их с точильными рвами, котрые сооружались раньше самой штольни. Собставено, то, о чем вы спрашиваете (если правильно понял вопрос) - это как раз...