With John Baldwin's kind permission I have set up a link to a paper by me on this topic, accepted for the Bulletin of Symbolic Logic. The URL is: http://www.cwru.edu/artsci/phil/Proving_FLT.pdf best, Colin