../ brazil.tex.gz 31-Oct-1994 19:01 11455 cin.tex.gz 31-Oct-1994 19:01 5478 hbav.tex.gz 31-Oct-1994 19:01 13663 hk.tex.gz 31-Oct-1994 19:01 20855 ken.gif 31-Oct-1994 19:01 3447 korea.tex.gz 31-Oct-1994 19:02 23727 list.tex.gz 31-Oct-1994 19:02 1151 minn.tex.gz 31-Oct-1994 19:02 22027 minnesota.tex.gz 31-Oct-1994 19:02 22032 report.tex.gz 31-Oct-1994 19:02 41873 slides.tex.gz 31-Oct-1994 19:02 6979 toulouse.tex.gz 31-Oct-1994 19:03 22460