Mammoth Cave National Park, Mammoth Cave, Kentucky. County/parish: Edmonson.
Added to the National Register of Historic Places May 08, 1991. NRIS 91000490.
Part of Mammoth Cave National Park MPS (NRIS 64500237).
2 contributing sites. 3 contributing structures.Also known as:
National Park Service documentation: https://catalog.archives.gov/id/123846315