../ 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 11-Aug-1993 22:00 18157 silplain.tex 19-Jul-1993 22:00 48554 siplain.tex 19-Jul-1993 22:00 43890