Making a digital library: the contents of the CORE project