Index of ftp://ftp.daimi.au.dk/BRICS/pub/IM/leaflet
Parent Directory
BRICS-IM-leaflet.dvi.gz
2.88Kb
January 12 1996
[
find mirrors
]
BRICS-IM-leaflet.pdf
15.42Kb
October 15 1996
[
find mirrors
]
BRICS-IM-leaflet.ps.gz
5.12Kb
January 12 1996
[
find mirrors
]
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ GZ]](/icons/compressed.gif){kind=icon}
BRICS-IM-leaflet.dvi.gz![[TXT]](/icons/text.gif){kind=icon}
BRICS-IM-leaflet.pdf BRICS-IM-leaflet.ps.gz