../ german.ch 11-Aug-1993 22:00 2213 lplain.ch 11-Aug-1993 22:00 856 plain.ch 11-Aug-1993 22:00 914 sigerman.sty 19-Jul-1993 22:00 18K silplain.tex 19-Jul-1993 22:00 47K siplain.tex 19-Jul-1993 22:00 43K