../ bar.sty 22-Feb-1994 07:00 17211 barkom.dvi 22-Feb-1994 07:00 21644 barkom.ps 22-Feb-1994 07:00 50750 barkom.tex 22-Feb-1994 07:00 7851