../ body.tex,v 11-Jan-2003 23:00 1434816 isa.aux,v 11-Jan-2003 23:00 1962 isa.dvi,v 11-Jan-2003 23:00 2174296 isa.log,v 11-Jan-2003 23:00 4081994 isa.tex,v 11-Jan-2003 23:00 1490610