A document is now available by anonymous ftp from theory.doc.ic.ac.uk in
papers/Abramsky/gfapcf2.{dvi,ps}.
The gist is conveyed by the final sentence:
``In the light of the preliminary discussion, we feel that these results
provide a clear-cut solution to the Full Abstraction Problem for PCF.''