Small changes in constructions.tex
Add lemma characterizing finite pseudo-coherent morphisms
Derived pushforward along a finite morphism

If f : X ---> Y is affine, then Rf_* induces an equivalence from
the derived category of complexes of O_X-modules with quesi-coherent
cohomology sheaves to the category of complexes of f_*O_X-modules
with quasi-coherent cohomology sheaves.
Three changes to dualizing.tex

(1) Change terminology "good wrt" ---> "normalized relative to"
(2) Section about trace maps
(3) Section about duality for finite morphisms