Although Bath Stone had been used since Roman times, underground mining for it is only known much later. A hitherto unnoticed early reference to this, by Borch (1680), is reproduced here. Other early accounts are also mentioned.