../ booktabs.tar.gz 31-Oct-2001 09:03 11395 f-booktabs.dvi 31-Oct-2001 09:03 39104 f-booktabs.ps.gz 31-Oct-2001 09:03 39183