Index of ftp://ftp.daimi.au.dk/BRICS/NL
![[DIR]](/icons/back.gif)
Parent Directory
![[DIR]](/icons/folder.gif) 1 | 4.00Kb | May 24 1999 |
| 10 | 4.00Kb | December 8 1999 |
| 11 | 4.00Kb | January 4 2002 |
| 2 | 4.00Kb | May 24 1999 |
| 3 | 4.00Kb | May 24 1999 |
| 4 | 4.00Kb | May 24 1999 |
| 5 | 4.00Kb | May 24 1999 |
| 6 | 4.00Kb | May 24 1999 |
| 7 | 4.00Kb | May 24 1999 |
| 8 | 4.00Kb | May 24 1999 |
| 9 | 4.00Kb | May 24 1999 |
![[ GZ]](/icons/compressed.gif) BRICS-NL-94-Jun.ps.gz | 35.07Kb | June 24 1994 |
![[ ]](/icons/unknown.gif) BRICS-NL-94-Jun.uu | 48.35Kb | November 30 1994 |