../ aaareadme.txt 09-Jun-1988 07:00 4312 bibtex.env 10-Oct-1988 07:00 12890 bibtex.hlb 08-Jun-1988 07:00 24064 bibtex.hlp 08-Jun-1988 07:00 20424 bibtex.lse 08-Jun-1988 07:00 37178