Name Last modified Size Description![[DIR]](/icons/back.png){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.png){kind=icon}
bib 09-May-1990 01:21 109K
book1 09-May-1990 01:21 751K
book2 09-May-1990 01:21 597K
geo 09-May-1990 01:21 100K
![[DIR]](/icons/folder.png){kind=icon}
index/ 19-Sep-2008 18:41 -
news 09-May-1990 01:21 368K
obj1 09-May-1990 01:21 21K
obj2 09-May-1990 01:22 241K
paper1 09-May-1990 01:22 52K
paper2 09-May-1990 01:22 80K
paper3 09-May-1990 01:22 45K
paper4 09-May-1990 01:22 13K
paper5 09-May-1990 01:22 12K
paper6 09-May-1990 01:22 37K
pic 09-May-1990 01:22 501K
progc 09-May-1990 01:22 39K
progl 09-May-1990 01:22 70K
progp 09-May-1990 01:22 48K
trans 09-May-1990 01:22 91K