../ ex-gastex.tex 31-Aug-2005 15:59 15422 gastex.pro 31-Aug-2005 15:58 10897 gastex.sty 31-Aug-2005 15:58 77190