page17
3.8 This will take you to the full description of the repository. In the search holdings box, enter mining, then click search.
This will produce the same type of results list as if you had used the main search box, except that all the hits will be from the same repository.