Though all the major ancient thinkers—Aristotle, Ptolemy, Euclid, Plato—had been rediscovered and translated by 1200, the first great find was Justinian’s Digest, discovered in an Italian library about 1070, possibly by agents of Gregory VII looking for texts to support papal claims.