Index of ftp://ftp.daimi.au.dk/BRICS/RS/96/Ref

[DIR] Parent Directory

[DIR] BRICS-RS-96-Ref  4.00Kb  July 4 2003
[ GZ] BRICS-RS-96-Ref.dvi.gz  11.19Kb  April 29 2003  [find mirrors]
[ GZ] BRICS-RS-96-Ref.ps.gz  73.92Kb  April 29 2003  [find mirrors]
[TXT] BRICS-RS-96-Ref.txt  0.00b  July 2 1999  [find mirrors]
[ ] texput.log  529.00b  January 6 1998  [find mirrors]