and the inclusion of complete proofs from most of the important recent results in the