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