in the old books section of the edinburgh church library