Regulations of the Managers of the Royal Infirmary of Edinburgh