This archive is no longer being updated since its topic has reached full maturity. The gopher links in this archive have been made inoperative. That technology did provide a very efficient way to serve mailbox archives online.
Comments and problem reports should be sent to: W. F. Hammond <hammond à math · a1bany · édu>.
G. Cornell, J. H. Silverman, & G. Stevens,
Modular Forms and Fermat's Last Theorem,
Springer-Verlag, 1997.
Someone looking for "the proof" should start with this volume.
K. A. Ribet, "On modular representations of Gal(\bar{Q}/Q) arising from modular forms", Inventiones Mathematicae, vol. 100 (1990), pp. 431-476.